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