Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

spheversion

spheversion on Hacker News

Re:A Rosetta Stone for Mathematics on Wednesday May 08, 2024 @12:20AM (#40294295)

Just a quick comment to point out that the formal proof [4] is in fact complete.

Ask HN

Dropbox privacy policy, cause for concern?
I did build a app whichlook clos to polish but Struggle is getting user
Is post-training make AI models dumber?
Best books you read in 2026?
Building Lovable for hardware, any suggestions and needs?
Do you still need to know whats going on in the code?

Show HN

Vantage-V-AI – 2-bit ternary KV-cache with attention sinks
Can a VPN be decentralised.. I think it's the best for homelabs
Saylark – Open-source voice dictation for Mac, like Wispr Flow
Dynaura – Dynamic Island toasts for the web
IndexFast – see which of your pages search engines actually know about
Cshoal – A school of fish, hunted by predators, in your terminal

Jobs

Autonomous (YC F25) is hiring MTS to build AI agents that manage your wealth
Tinfoil (YC P25) is hiring an applied AI security engineer in San Francisco
Y/N (YC S23) Is Hiring a Growth Lead to Distribute Superhuman A.I. Storytelling
UpCodes (YC S17) is hiring SDR's to sell AI compliance software

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.