Hacker News
Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
1.US SEC preparing to scrap quarterly reporting requirement (reuters.com)
262 points by djoldman 2 hours ago | hide | 122 comments
2.Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
307 points by Poudlardo 5 hours ago | hide | 57 comments
3.Meta’s renewed commitment to jemalloc (fb.com)
346 points by hahahacorn 8 hours ago | hide | 143 comments
4.US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com/rexrodeo)
238 points by rexroad 9 hours ago | hide | 172 comments
5.The “small web” is bigger than you might think (kevinboone.me)
318 points by speckx 8 hours ago | hide | 135 comments
6.My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
320 points by Vaslo 13 hours ago | hide | 97 comments
7.In space, no one can hear you kernel panic (increment.com)
27 points by p0u4a 3 hours ago | hide | 2 comments
8.Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
34 points by howlett 4 hours ago | hide | 10 comments
9.Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
65 points by mr_Fatalyst 5 hours ago | hide | 37 comments
10.Canopy Height Maps v2 (meta.com)
10 points by tzury 2 hours ago | hide | 1 comment
11.Why I love FreeBSD (dragas.net)
355 points by enz 14 hours ago | hide | 166 comments
12.Starlink Mini as a failover (jackpearce.co.uk)
201 points by jkpe 14 hours ago | hide | 169 comments
13.Language Model Teams as Distrbuted Systems (arxiv.org)
71 points by jryio 8 hours ago | hide | 32 comments
14.AirPods Max 2 (apple.com)
214 points by ssijak 12 hours ago | hide | 387 comments
15.Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
1357 points by defly 14 hours ago | hide | 884 comments
16.AnswerThis (YC F25) Is Hiring (ycombinator.com)
5 hours ago | hide
17.Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
66 points by ymarkov 9 hours ago | hide | 48 comments
18.Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
122 points by gertjandewilde 10 hours ago | hide | 106 comments
19.Home Assistant waters my plants (finnian.io)
252 points by finniananderson 19 hours ago | hide | 131 comments
20.On The Need For Understanding (information-superhighway.net)
86 points by zdw 9 hours ago | hide | 37 comments
21.The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
93 points by item 11 hours ago | hide | 118 comments
22.Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
665 points by PaulHoule 14 hours ago | hide | 346 comments
23.Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
170 points by htdt 10 hours ago | hide | 105 comments
24.Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
203 points by antics 18 hours ago | hide | 100 comments
25.Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
4 points by heythisischris 1 hour ago | hide | 2 comments
26.Kona EV Hacking (techno-fandom.org)
120 points by AnnikaL 18 hours ago | hide | 68 comments
27.Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
156 points by masterpos 14 hours ago | hide | 51 comments
28.Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidia.com)
130 points by lewismenelaws 6 hours ago | hide | 79 comments
29.Cert Authorities Check for DNSSEC from Today (grepular.com)
88 points by zdw 10 hours ago | hide | 211 comments
30.US Job Market Visualizer (karpathy.ai)
419 points by andygcook 11 hours ago | hide | 316 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:
☕️ Buy me a coffee
Powered by Gistr AI Summaries