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, Bach, and AI (2023) (www.theatlantic.com)
   35 points by pcfwik 20 days ago | 10 comments
2. Minds, Machines and Gödel (en.wikipedia.org)
   3 points by talles 23 days ago | discuss
3. Tell HN: Gödel, Escher, Bach is on Apple Books, even though it is not on Kindle (books.apple.com)
   1 points by droideqa 3 days ago | discuss
4. Strauss–Howe Generational Theory (en.wikipedia.org)
   1 points by godelmachine 28 days ago | discuss
5. Tech Giants, Stop Trying to Build Godlike AI (www.bloomberg.com)
   7 points by Bostonian 18 days ago | 8 comments
6. How Ditching RSA Made Teleport 77% More CPU-Efficient (goteleport.com)
   3 points by benarent 10 days ago | discuss
7. Tracing the thoughts of a large language model (www.anthropic.com)
   1065 points by Philpax 7 days ago | 392 comments
8. OpenAI Audio Models (www.openai.fm)
   661 points by KuzeyAbi 14 days ago | 296 comments
9. AI models miss disease in Black and female patients (www.science.org)
   329 points by pseudolus 7 days ago | 230 comments
10. Reasoning models don't always say what they think (www.anthropic.com)
    327 points by meetpateltech about 11 hours ago | 231 comments
11. The Einstein AI Model (thomwolf.io)
    261 points by 9woc 27 days ago | 209 comments
12. Gemma3 – The current strongest model that fits on a single GPU (ollama.com)
    252 points by brylie 23 days ago | 138 comments
13. An epic treatise on error models for systems programming languages (typesanitizer.com)
    221 points by transpute 27 days ago | 76 comments
14. Show HN: Qwen-2.5-32B is now the best open source OCR model (github.com)
    209 points by themanmaran 2 days ago | 47 comments
15. Why I find diffusion models interesting? (rnikhil.com)
    202 points by whoami_nr 28 days ago | 86 comments
16. How Google built its Gemini robotics models (blog.google)
    199 points by simonpure 1 day ago | 84 comments
17. Circuit Tracing: Revealing Computational Graphs in Language Models (Anthropic) (transformer-circuits.pub)
    173 points by ydnyshhh 4 days ago | 27 comments
18. AMD Announces "Instella" Open-Source 3B Language Models (www.phoronix.com)
    165 points by rbanffy 29 days ago | 53 comments
19. Volkswagen seeks to counter rivals with budget EV model (www.ttnews.com)
    144 points by herbertl 29 days ago | 193 comments
20. Google calls Gemma 3 the most powerful AI model you can run on one GPU (www.theverge.com)
    127 points by gmays 14 days ago | 100 comments
21. The Biology of a Large Language Model (transformer-circuits.pub)
    116 points by frozenseven 7 days ago | 19 comments
22. Low responsiveness of ML models to critical or deteriorating health conditions (www.nature.com)
    91 points by PaulHoule 9 days ago | 53 comments
23. UCSD: Large Language Models Pass the Turing Test (arxiv.org)
    90 points by Mossy9 1 day ago | 106 comments
24. Mathematical Compact Models of Advanced Transistors [pdf] (www2.eecs.berkeley.edu)
    85 points by nill0 6 days ago | 31 comments
25. Spark-TTS: Text-2-Speech Model Single-Stream Decoupled Tokens [pdf] (arxiv.org)
    78 points by bilekas 29 days ago | 6 comments
26. Three Implementation Models for Scheme (1987) [pdf] (legacy.cs.indiana.edu)
    71 points by tosh 24 days ago | 4 comments
27. AbletonMCP – Ableton Live Model Context Protocol Integration (github.com)
    56 points by ghuntley 4 days ago | 11 comments
28. Jargonic: Industry-Tunable ASR Model (aiola.ai)
    56 points by agold97 3 days ago | 7 comments
29. AI scientists are sceptical that modern models will lead to AGI (www.newscientist.com)
    38 points by Bluestein 20 days ago | 12 comments
30. DeepSeek releases their latest DeepSeek v3 model, now featuring an MIT license (simonwillison.net)
    34 points by spenvo 11 days ago | 1 comments