Hackernews posts about Gödel

Gödel is Kurt Friedrich Gödel, an Austrian mathematician and logician who made groundbreaking contributions to the fields of mathematics, philosophy, and computer science in the early 20th century.

1. New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob (www.novaspivack.com)
   3 points by airesearcher 25 days ago | discuss
2. Gödel, Escher, Bach, Wallace: The "O's, D's and P's" in Infinite Jest (www.chiply.dev)
   1 points by chiply 14 days ago | 1 comments
3. Gödel: The man who ruined mathematics (www.newscientist.com)
   1 points by bookofjoe 25 days ago | 1 comments
4. Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview (github.com)
   393 points by GodelNumbering 13 days ago | 148 comments
5. Hash anchors and Myers diff and single-token anchors: 60% cheaper AI code edits (dirac.run)
   5 points by GodelNumbering 14 days ago | 1 comments
6. The Isolator (Helmet) (en.wikipedia.org)
   3 points by GodelNumbering 9 days ago | discuss
7. Ask HN: Who needs contributors? (May 2026)
   2 points by GodelNumbering 4 days ago | discuss
8. Peak lazy engineering: Let the code answer its own questions (dirac.run)
   2 points by GodelNumbering 5 days ago | discuss
9. Gode Cookery – Authentic Medieval Recipes (www.godecookery.com)
   2 points by Mr_Minderbinder 3 days ago | discuss
10. Google Chrome silently installs a 4 GB AI model on your device without consent (www.thatprivacyguy.com)
    1737 points by john-doe 5 days ago | 1137 comments
11. Small models also found the vulnerabilities that Mythos found (aisle.com)
    1284 points by dominicq 28 days ago | 341 comments
12. Qwen3.6-27B: Flagship-Level Coding in a 27B Dense Model (qwen.ai)
    993 points by mfiguiere 18 days ago | 458 comments
13. Talkie: a 13B vintage language model from 1930 (talkie-lm.com)
    772 points by jekude 12 days ago | 331 comments
14. Noctua releases official 3D CAD models for its cooling fans (www.noctua.at)
    501 points by embedding-shape 12 days ago | 108 comments
15. Website streamed live directly from a model (flipbook.page)
    439 points by sethbannon 17 days ago | 118 comments
16. Over-editing refers to a model modifying code beyond what is necessary (nrehiew.github.io)
    422 points by pella 17 days ago | 243 comments
17. Granite 4.1: IBM's 8B Model Matching 32B MoE (firethering.com)
    327 points by steveharing1 10 days ago | 209 comments
18. OpenAI models coming to Amazon Bedrock: Interview with OpenAI and AWS CEOs (stratechery.com)
    326 points by translocator 11 days ago | 114 comments
19. I ran Gemma 4 as a local model in Codex CLI (blog.danielvaughan.com)
    285 points by dvaughan 27 days ago | 116 comments
20. Introspective Diffusion Language Models (introspective-diffusion.github.io)
    281 points by zagwdt 26 days ago | 55 comments
21. CadQuery is an open-source Python library for building 3D CAD models (cadquery.github.io)
    231 points by gregsadetsky 25 days ago | 65 comments
22. Claude Token Counter, now with model comparisons (simonwillison.net)
    224 points by twapi 20 days ago | 83 comments
23. A simplified model of Fil-C (www.corsix.org)
    208 points by aw1621107 22 days ago | 136 comments
24. Even 'uncensored' models can't say what they want (morgin.ai)
    178 points by llmmadness 19 days ago | 137 comments
25. Claude Opus 4.7 Model Card (anthropic.com)
    177 points by adocomplete 24 days ago | 84 comments
26. Show HN: State of the Art of Coding Models, According to Hacker News Commenters (hnup.date)
    167 points by yunusabd 7 days ago | 87 comments
27. GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents (arxiv.org)
    163 points by gmays 4 days ago | 31 comments
28. Learning the Integral of a Diffusion Model (sander.ai)
    158 points by benanne 3 days ago | 23 comments
29. ProgramBench: Can language models rebuild programs from scratch? (arxiv.org)
    149 points by jonbaer 3 days ago | 78 comments
30. A good AGENTS.md is a model upgrade. A bad one is worse than no docs at all (www.augmentcode.com)
    142 points by gmays 11 days ago | 43 comments