frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Ask HN: Where are the good search engines for mathematical formulas?

2•lo0dot0•2h ago
Here's what I found so far

approach0.xyz : offline

searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a

https://search.mathweb.org/: A collection of abandoned projects and offline sites

Comments

MrCoffee7•58m ago
in no particular order:

https://matlas.ai

https://www.mathdeck.org

https://portal.mardi4nfdi.de/wiki/Portal

https://www.theoremsearch.com/search

https://ansumandas441.github.io/mathematical-discovery-engin...

Ask HN: New employeer not providing equipment

7•gl9•1h ago•19 comments

Ask HN: Is anyone experimenting with different ways of using LLMs for coding?

181•yehiaabdelm•1d ago•184 comments

Happy Independence Day

29•GauntletWizard•7h ago•6 comments

Ask HN: Where are the good search engines for mathematical formulas?

2•lo0dot0•2h ago•1 comments

Ask HN: America turns 250 today. What does it mean to you?

10•abixb•5h ago•1 comments

Ask HN: Who is hiring? (July 2026)

241•whoishiring•3d ago•309 comments

Ask HN: Since when does Craigslist's front page have emojis?

39•argee•3d ago•33 comments

Ask HN: Who wants to be hired? (July 2026)

147•whoishiring•3d ago•443 comments

Where can I find or get in contact with farmers specifically in the US?

4•strapchay•17h ago•5 comments

How many failed startups have you launched?

18•steelebillings•1d ago•11 comments

Ask HN: Why are so many "AI evangelists" posting such insufferable content?

58•seattle_spring•2d ago•34 comments

Happy Independence Day

4•Velocifyer•5h ago•0 comments

Fable 5. Safety Taken to an Extreme

7•sergeysmirnov•14h ago•6 comments

Tell HN: Fewer PRs done with proper prompting, review, and refinement wins

7•tomerbd•1d ago•4 comments

Tell HN: Check your subscription renewals (VPNs, etc.). They cost too much

3•simonebrunozzi•6h ago•3 comments

Tell HN: Installing Cursor on iOS irreversibly changes your privacy settings

247•zkldi•4d ago•34 comments

SponsorBlock Critical Security Vulnerabilities

3•IDIRIS•1d ago•4 comments

Tell HN: Old Reddit now requires login

86•jay_kyburz•3d ago•18 comments

Claude Fable is useless for bioinformaticians

6•iqbal1980•1d ago•6 comments

Well it's been 3 years of unemployment and $250k in debt

7•buffer_overlord•1d ago•6 comments

Cadreen – memory, governance, self-healing, and execution as one system

5•ope_john•1d ago•0 comments

Ask HN: Where is the programming profession going?

166•syntaxbush•1w ago•183 comments

Seattle Just Had an Earthquake

13•tobinfekkes•2d ago•9 comments

Ask HN: Secure wrapper for coding agents?

20•rjzzleep•4d ago•19 comments

I'm opening VSCode less and less every day

21•othmanosx•2d ago•20 comments

How do you test institutional (or algo) trades under real market conditions?

2•TradingReality•1d ago•0 comments

Ask HN: Procrastination with AI?

3•caprock•1d ago•4 comments

Getting Rid of Scrolling

2•matteosaporiti•1d ago•1 comments

Ask HN: What did you fail at and what did you learn from it?

10•basilikum•1d ago•1 comments

Ask HN: Possible issue impacting AWS Cloudwatch logs availability?

2•merek•1d ago•0 comments