Hacker News
HomeAboutBlogQuestionsBookmarks

Hacker News

TopAbout
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
12 hours ago/126 comments/mistral.ai
The unlikely story of Teardown Multiplayer
3 days ago/10 comments/blog.voxagon.se
Meta’s renewed commitment to jemalloc
15 hours ago/201 comments/engineering.fb.com
The “small web” is bigger than you might think
16 hours ago/194 comments/kevinboone.me
The American Healthcare Conundrum
16 hours ago/311 comments/github.com
Gitana 18: the new flying Ultim trimaran
4 days ago/6 comments/boatnews.com
Every layer of review makes you 10x slower
6 hours ago/125 comments/apenwarr.ca
US SEC preparing to scrap quarterly reporting requirement
9 hours ago/329 comments/reuters.com
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
3 days ago/17 comments/youtube.com
Pyodide: a Python distribution based on WebAssembly
3 days ago/24 comments/github.com
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
20 hours ago/115 comments/community.home-assistant.io
Beyond has dropped “meat” from its name and expanded its high-protein drink line
12 hours ago/279 comments/plantbasednews.org
Why I love FreeBSD
22 hours ago/203 comments/it-notes.dragas.net
Monkey Island for Commodore 64 Ground Up
5 hours ago/43 comments/pixeldust.se
Kagi Translate now supports LinkedIn Speak as an output language
5 hours ago/129 comments/translate.kagi.com
Claude Tips for 3D Work
3 days ago/21 comments/davesnider.com
Daily Digest

Get a daily email with the the top stories from Hacker News. No spam, unsubscribe at any time.

HomeAboutGitHubKaggle
AI BlogDeep Learning AppsSecurity Checklist
BookmarksHacker NewsMy Stack