Hacker Newsnew | past | comments | ask | show | jobs | submit | photonthug's favoriteslogin
1.
Production RAG: what I learned from processing 5M+ documents (abdellatif.io)
551 points by tifa2up 69 days ago | 114 comments
2.
ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
326 points by barthelomew 85 days ago | 175 comments
3.
Why LLMs can't really build software (zed.dev)
862 points by srid 4 months ago | 504 comments
4.
Model intelligence is no longer the constraint for automation (latentintent.substack.com)
113 points by drivian 4 months ago | 152 comments
5.
An LLM Router That Thinks Like an Engineer (medium.com/dracattusdev)
11 points by honorable_coder 5 months ago | 1 comment
6.
Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
246 points by btilly 6 months ago | 141 comments
7.
Field Notes from Shipping Real Code with Claude (diwank.space)
354 points by diwank 6 months ago | 99 comments
8.
A deep dive into self-improving AI and the Darwin-Gödel Machine (richardcsuwandi.github.io)
195 points by hardmaru 6 months ago | 97 comments
9.
Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)
668 points by asicsp 6 months ago | 273 comments
10.
Show HN: Defuddle, an HTML-to-Markdown alternative to Readability (github.com/kepano)
418 points by kepano 7 months ago | 68 comments
11.
Git Bug: Distributed, Offline-First Bug Tracker Embedded in Git, with Bridges (github.com/git-bug)
312 points by stefankuehnel 7 months ago | 107 comments
12.
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
81 points by gopiandcode 7 months ago | 17 comments
13.
Observations from people-watching (skincontact.substack.com)
462 points by jger15 7 months ago | 229 comments
14.
Parametric Modeling with Grasshopper (baharmon.github.io)
40 points by downboots 7 months ago | 9 comments
15.
Linkwarden: FOSS self-hostable bookmarking with AI-tagging and page archival (linkwarden.app)
301 points by FireInsight 8 months ago | 111 comments
16.
Reversible computing with mechanical links and pivots (tennysontbardwell.com)
163 points by tennysont 8 months ago | 68 comments
17.
DeepSeek-Prover-V2 (github.com/deepseek-ai)
396 points by meetpateltech 8 months ago | 77 comments
18.
Do Large Language Models know who did what to whom? (arxiv.org)
39 points by badmonster 8 months ago | 5 comments
19.
Local LLM inference – impressive but too hard to work with (medium.com/aazo11)
84 points by aazo11 8 months ago | 58 comments
20.
OpenAI Codex CLI: Lightweight coding agent that runs in your terminal (github.com/openai)
516 points by mfiguiere 8 months ago | 289 comments
21.
Smartfunc: Turn Docstrings into LLM-Functions (github.com/koaning)
70 points by alexmolas 8 months ago | 25 comments
22.
Show HN: Koreo – A platform engineering toolkit for Kubernetes (koreo.dev)
120 points by tylertreat 8 months ago | 44 comments
23.
AnimeJs v4 Is Here (animejs.com)
973 points by adrianvoica 8 months ago | 155 comments
24.
Tracing the thoughts of a large language model (anthropic.com)
1072 points by Philpax 9 months ago | 394 comments
25.
Making of the New York and Erie Railroad Organizational Diagram (c82.net)
51 points by tobr 9 months ago | 3 comments
26.
Source code art in the Rivulet language (github.com/rottytooth)
168 points by cranbor 9 months ago | 29 comments
27.
Piranesi's Perspective Trick (2019) (medium.com/brunopostle)
352 points by amatheus 9 months ago | 87 comments
28.
Scallop – A Language for Neurosymbolic Programming (scallop-lang.org)
229 points by andsoitis 9 months ago | 64 comments
29.
The Burnout Machine (unionize.fyi)
853 points by flxfxp 9 months ago | 664 comments
30.
The cultural divide between mathematics and AI (sugaku.net)
300 points by rfurmani 9 months ago | 177 comments

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

Search: