frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

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

22•lo0dot0•2d 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•2d 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...

opengrass•1h ago
Wolfram Alpha
proofsouq•53m ago
ProofSouq.com! https://proofsouq.com

8M+ search index entries over Lean and Rocq corpora and growing; propositions only for now, so more oriented towards premise retrieval at the moment.

drnick1•44m ago
Claude
throwawayffffas•31m ago
https://www.wolframalpha.com/
wasabi991011•10m ago
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
recursivecaveat•6m ago
The encyclopedia of integer sequences can be quite useful: https://oeis.org/

Microsoft Fire IdTech Team at Id Software

https://gamefromscratch.com/microsoft-fire-idtech-team-at-id-software/
83•bauc•31m ago•30 comments

StreetComplete: Fixing OpenStreetMap, one tiny quest at a time

https://streetcomplete.app/
298•kls0e•3h ago•63 comments

A better way to tie your gym shorts. (Or any drawstring) [video]

https://www.youtube.com/watch?v=3R0Lp86GEBk
234•surprisetalk•3h ago•91 comments

98% Isn't Much

https://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/
289•speckx•3h ago•218 comments

Better Auth is joining Vercel

https://better-auth.com/blog/better-auth-joins-vercel
19•sync•12m ago•6 comments

Europe's company websites are mostly served by US vendors

https://ciphercue.com/blog/european-web-hosting-vendor-share-2026
171•adulion•3h ago•126 comments

Top researchers leave USA for the Netherlands (in Dutch)

https://www.nwo.nl/nieuws/eerste-internationale-wetenschappers-via-het-tulp-fonds-naar-nederland
244•28304283409234•5h ago•188 comments

C++ Details of Asymmetric Fences

https://nekrozqliphort.github.io/posts/membarrier/
35•anon_farmer•3d ago•1 comments

Show HN: PostgreSQL performance and cost across 23 EC2 instance types

https://postgres.saneengineer.com
33•anivan_•3h ago•0 comments

9 Mothers (YC P26) Is Hiring in Austin, TX

https://9mothers.com/careers
1•ukd1•4h ago

Chat Control passed first round in EU Parliament

https://www.heise.de/en/news/Showdown-in-Strasbourg-The-unexpected-return-of-Chat-Control-1-0-113...
102•miroljub•48m ago•49 comments

OpenWrt One – Open Hardware Router

https://openwrt.org/toh/openwrt/one
764•peter_d_sherman•21h ago•286 comments

The Revenge of the Philosophy Majors

https://www.nytimes.com/2026/07/05/business/philosophy-majors-ai-jobs.html
53•benbreen•1h ago•59 comments

CoMaps – FOSS Offline Maps

https://www.comaps.app/
713•basilikum•21h ago•174 comments

The Family Keeping Watch over a 52-Year-Old Pot of Soup

https://www.wsj.com/arts-culture/food-cooking/the-family-keeping-watch-over-a-52-year-old-pot-of-...
42•petethomas•6d ago•34 comments

But Nothing Has Changed on Our Side

https://cacm.acm.org/blogcacm/but-nothing-has-changed-on-our-side/
5•adunk•3d ago•1 comments

How to sequence your own DNA at home

https://bradleywoolf.com/links-1/sequencing-my-own-dna-at-home
332•bilsbie•15h ago•124 comments

Small AI Models Gain Traction In places with unreliable networks

https://spectrum.ieee.org/small-language-models-ai-pharmaceuticals
235•sscaryterry•16h ago•71 comments

Historic Photos of NASA's Cavernous Wind Tunnels

https://www.theatlantic.com/photo/2018/05/historic-photos-of-nasas-cavernous-wind-tunnels/560660/
76•ohjeez•2d ago•20 comments

The Art of Computer Programming by Donald E. Knuth

https://www-cs-faculty.stanford.edu/~knuth/taocp.html
135•archargelod•10h ago•36 comments

GLM 5.2 and the coming AI margin collapse

https://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/
619•martinald•19h ago•398 comments

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

22•lo0dot0•2d ago•7 comments

Microsoft Can Track Users via a Windows Device ID

https://www.pcmag.com/news/a-hackers-arrest-reveals-microsoft-can-track-users-via-a-windows-device
265•ifh-hn•7h ago•109 comments

Fable turned reMarkable into Tom Riddle's diary from Harry Potter

https://github.com/MaximeRivest/Riddle
589•modinfo•17h ago•359 comments

Dolosse – a South African invention used over the world

https://thisbugslife.com/2021/11/21/dolosse-a-south-african-invention-used-over-the-world/
111•andsoitis•3d ago•27 comments

Dua Lipa opens library for banned and censored books in Portugal

https://www.euronews.com/culture/2026/06/29/dua-lipa-opens-library-for-banned-and-censored-books-...
169•pax•3h ago•151 comments

Ternlight – 7 MB embedding model that runs in browser (WASM)

https://ternlight-demo.vercel.app/
298•soycaporal•16h ago•60 comments

A global workspace in language models

https://www.anthropic.com/research/global-workspace
427•in-silico•22h ago•169 comments

Resetting Xbox

https://news.xbox.com/en-us/2026/07/06/resetting-xbox/
707•dijksterhuis•1d ago•843 comments

In Praise of Observational Evidence

https://asteriskmag.com/issues/14/in-praise-of-observational-evidence
66•fi-le•6d ago•34 comments