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. Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
   9 points by JNRowe 4 days ago | discuss
2. Gödel and Turing outlined the limits of AI (www.heise.de)
   5 points by OtomotO about 15 hours ago | discuss
3. Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
   3 points by ibobev 3 days ago | 1 comments
4. Automating Godel's Ontological Proof of God's Existence [pdf] (christoph-benzmueller.de)
   3 points by ibobev 1 day ago | discuss
5. Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
   2 points by signa11 2 days ago | discuss
6. Ask HN: Anyone interested in building a harness-only benchmark?
   5 points by GodelNumbering 3 days ago | 5 comments
7. Token Arbitrage: Use Sol for coding, Luna for compaction, save 84% (dirac.run)
   3 points by GodelNumbering 5 days ago | 2 comments
8. GPT-5.6-terra used 48.5% more context than Mimo-2.5-pro (dirac.run)
   3 points by GodelNumbering 24 days ago | 1 comments
9. Claude gen-5 models show significant regression in BullshitBench (github.com)
   3 points by GodelNumbering 5 days ago | discuss
10. Godecompose: Go decompiler that uses pattern matchers (github.com)
    5 points by cookiengineer 20 days ago | 1 comments
11. Show HN: We killed our AI stock analysis and kept the news feed (API and MCP) (alphai.io)
    1 points by mmakeev 12 days ago | discuss
12. The European Oligarchy (rocketup.pages.dev)
    24 points by gidellav 27 days ago | 3 comments
13. Kittine, a custom language for Rust-powered web apps (kittine.com)
    3 points by gidellav 18 days ago | discuss
14. Actojs – Bringing Elixir's Actors to TypeScript (www.npmjs.com)
    3 points by gidellav 27 days ago | discuss
15. Zerostack – An agent that's less sloppy than Elon's attempts (github.com)
    2 points by gidellav 23 days ago | discuss
16. OpenAI and Hugging Face address security incident during model evaluation (openai.com)
    1632 points by mfiguiere 18 days ago | 1158 comments
17. Inkling: Our Open-Weights Model (thinkingmachines.ai)
    1227 points by vimarsh6739 24 days ago | 294 comments
18. Our position on open-weights models (www.anthropic.com)
    1180 points by surprisetalk 11 days ago | 1747 comments
19. Who's afraid of Chinese models? (stratechery.com)
    995 points by mfiguiere 19 days ago | 910 comments
20. AMD acquires Taalas to boost inference performance by etching models in silicon (www.theregister.com)
    901 points by itvision 1 day ago | 681 comments
21. Bonsai 27B: A 27B-Class model that runs on a phone (prismml.com)
    706 points by xenova 25 days ago | 252 comments
22. Nvidia, Microsoft, Meta warn against overregulating open-weight models (www.cnbc.com)
    659 points by louiereederson 15 days ago | 318 comments
23. GigaToken: ~1000x faster Language model tokenization (github.com)
    620 points by syrusakbary 17 days ago | 120 comments
24. Qwen3.8 Max now ranked as the best overall model by agentic index (artificialanalysis.ai)
    540 points by apitman 1 day ago | 344 comments
25. Show HN: Echo – Fable-level results at 1/3 the cost using open-weight models
    484 points by adam_rida 16 days ago | 229 comments
26. Mistral's Shieldstral: 3B open-weights model for multimodal moderation (mistral.ai)
    481 points by riadsila 4 days ago | 133 comments
27. The new rules of context engineering for Claude 5 generation models (claude.com)
    463 points by mellosouls 14 days ago | 405 comments
28. Beating GPT-5.6 Sol on retrieval with 100x cheaper open models (neon.com)
    431 points by moonikakiss 3 days ago | 122 comments
29. Nativ: Run frontier open models locally on your Mac (blaizzy.github.io)
    377 points by aratahikaru5 19 days ago | 131 comments
30. OpenAI reduces Codex Model Context Size from 372k to 272k (github.com)
    371 points by AmazingTurtle 20 days ago | 166 comments