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. The new Gödel Prize winner tastes great and is less filling (blog.computationalcomplexity.org)
   110 points by baruchel 27 days ago | 47 comments
2. Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents (arxiv.org)
   55 points by tzury 25 days ago | 16 comments
3. Gödel's Beavers, or the Limits of Knowledge (lcamtuf.substack.com)
   6 points by weinzierl 1 day ago | discuss
4. 2025 Gödel Prize (www.sigact.org)
   5 points by thunderbong 17 days ago | discuss
5. 2025 Gödel Prize has been awarded to Eshan Chattopadhyay (www.sigact.org)
   4 points by thunderbong 18 days ago | discuss
6. On Godel's Incompleteness Theorem
   3 points by uint9_t 11 days ago | 5 comments
7. Gödel Prize, 2025, Awarded to Eshan Chattopadhyay and David Zuckerman (www.sigact.org)
   1 points by Brajeshwar 16 days ago | 1 comments
8. Memories of Kurt Gödel (www.rudyrucker.com)
   1 points by nill0 27 days ago | 1 comments
9. Darwin Gödel Machine: A Commentary on Novelty and Implications (4m4.it)
   1 points by hardmaru 27 days ago | discuss
10. In Pursuit of Godlike Technology, Mark Zuckerberg Amps Up the A.I. Race (www.nytimes.com)
    7 points by skue 10 days ago | 4 comments
11. Show HN: Procedural 2D Terrain Generator (procedural-art.netlify.app)
    3 points by godlabs 15 days ago | discuss
12. Show HN: Gaussian Random Walker Simulation in JavaScript (procedural-art.netlify.app)
    3 points by godlabs 17 days ago | discuss
13. What If Awareness Is the Fundamental Substrate of Reality?
    2 points by GodlySharing 12 days ago | 2 comments
14. Magistral — the first reasoning model by Mistral AI (mistral.ai)
    941 points by meetpateltech 26 days ago | 424 comments
15. If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
    936 points by sdoering 24 days ago | 261 comments
16. Apple announces Foundation Models and Containerization frameworks, etc (www.apple.com)
    860 points by thm 27 days ago | 489 comments
17. Melbourne man discovers extensive model train network underneath house (www.sbs.com.au)
    403 points by cfcfcf 6 days ago | 153 comments
18. Nanonets-OCR-s – OCR model that transforms documents into structured markdown (huggingface.co)
    361 points by PixelPanda 21 days ago | 78 comments
19. MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model (github.com)
    349 points by danboarder 19 days ago | 75 comments
20. AbsenceBench: Language models can't tell what's missing (arxiv.org)
    324 points by JnBrymn 16 days ago | 84 comments
21. Huawei releases an open weight model trained on Huawei Ascend GPUs (arxiv.org)
    320 points by buyucu 5 days ago | 331 comments
22. V-JEPA 2 world model and new benchmarks for physical reasoning (ai.meta.com)
    303 points by mfiguiere 25 days ago | 91 comments
23. How large are large language models? (gist.github.com)
    262 points by rain1 5 days ago | 149 comments
24. I extracted the safety filters from Apple Intelligence models (github.com)
    247 points by BlueFalconHD about 5 hours ago | 149 comments
25. Self-Adapting Language Models (arxiv.org)
    246 points by archon1410 23 days ago | 73 comments
26. The provenance memory model for C (gustedt.wordpress.com)
    225 points by HexDecOctBin 7 days ago | 143 comments
27. Normalizing Flows Are Capable Generative Models (machinelearning.apple.com)
    169 points by danboarder 9 days ago | 43 comments
28. Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)
    140 points by Bogdanp 23 days ago | 103 comments
29. Unsupervised Elicitation of Language Models (arxiv.org)
    135 points by kordlessagain 23 days ago | 24 comments
30. The Illusion of Thinking: Strengths and Limitations of Reasoning Models (machinelearning.apple.com)
    132 points by sunshinerag 29 days ago | 4 comments