Hacker Newsnew | past | comments | ask | show | jobs | submit | jsty's favoriteslogin
1.
LLMs reward expertise (seangoedecke.com)
1283 points by MaxMussio 21 hours ago | 531 comments
2.
Ten advances in mathematics and theoretical computer science (openai.com)
610 points by milkshakes 1 day ago | 901 comments
3.
Show HN: A Handwritten Blogging Platform (handwritten.blog)
184 points by emilesilvis 4 days ago | 87 comments
4.
Don't be a meat proxy (gruhn.me)
1769 points by ngruhn 1 day ago | 713 comments
5.
Why we write our own C and C++ inference engines (localai.io)
127 points by eatonphil 4 days ago | 49 comments
6.
Pgtestdb's template cloning approach to testing is fast (brandur.org)
67 points by brandur 3 days ago | 49 comments
7.
Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
192 points by eniac111 2 days ago | 29 comments
8.
The Art of 64-bit Assembly (nostarch.com)
235 points by 0x54MUR41 3 days ago | 116 comments
9.
Everyone is building LLM routers, we deprecated ours (manifest.build)
132 points by brunaxLorax 4 days ago | 86 comments
10.
Moonshot’s Kimi uses 20k Nvidia chip cluster from Alibaba (bloomberg.com)
114 points by gk1 4 days ago | 76 comments
11.
Run Kimi K3 using 29 GB of RAM at 0.50 tok/s (github.com/sqliteai)
338 points by marcobambini 4 days ago | 166 comments
12.
Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite (kedge.dev)
138 points by wgjordan 6 days ago | 25 comments
13.
The session you cannot take with you (earendil.com)
783 points by apitman 4 days ago | 224 comments
14.
Are We Stuck with Lean? (mathoverflow.net)
156 points by jjgreen 5 days ago | 68 comments
15.
Making Postgres queues scale (dbos.dev)
127 points by KraftyOne 5 days ago | 34 comments
16.
Why don't people use formal methods? (2019) (hillelwayne.com)
128 points by Thom2503 5 days ago | 117 comments
17.
Logic for Programmers (logicforprogrammers.com)
216 points by _doctor_love 5 days ago | 47 comments
18.
The Productivity Mirage (frantic.im)
362 points by msephton 5 days ago | 154 comments
19.
Some thoughts about Anthropic's new cryptanalysis results (cryptographyengineering.com)
189 points by supermatou 6 days ago | 116 comments
20.
AI's top startups are barely publishing their research (science.org)
617 points by YeGoblynQueenne 5 days ago | 318 comments
21.
Superlogical (superlogical.com)
791 points by yan 6 days ago | 457 comments
22.
Kimi K3 Architecture Overview and Notes (sebastianraschka.com)
506 points by ModelForge 7 days ago | 111 comments
23.
Discovering Cryptographic Weaknesses with Claude (anthropic.com)
232 points by gslin 7 days ago | 187 comments
24.
Kimi Linear: An Expressive, Efficient Attention Architecture (2025) (arxiv.org)
306 points by ronfriedhaber 7 days ago | 133 comments
25.
A walk through of the DeltaNet family of linear attention variants (doubleword.ai)
297 points by AnhTho_FR 7 days ago | 127 comments
26.
Google's Beyond Zero: Enterprise Security for the AI Era (acm.org)
160 points by jordigg 7 days ago | 81 comments
27.
Zig's Incremental Compilation Internals (mlugg.co.uk)
274 points by garyhtou 7 days ago | 268 comments
28.
Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong (github.com/cactus-compute)
191 points by HenryNdubuaku 13 days ago | 44 comments
29.
Fintech Engineering Handbook (pitula.me)
636 points by signa11 38 days ago | 220 comments
30.
Speech Recognition and TTS in less than 500kb (github.com/moonshine-ai)
570 points by petewarden 20 days ago | 92 comments

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

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

Search: