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's Beavers, or the Limits of Knowledge (lcamtuf.substack.com)
   8 points by weinzierl 13 days ago | discuss
2. 2025 Gödel Prize (www.sigact.org)
   5 points by thunderbong 29 days ago | discuss
3. 2025 Gödel Prize has been awarded to Eshan Chattopadhyay (www.sigact.org)
   4 points by thunderbong 30 days ago | discuss
4. On Godel's Incompleteness Theorem
   3 points by uint9_t 23 days ago | 5 comments
5. Gödel Prize, 2025, Awarded to Eshan Chattopadhyay and David Zuckerman (www.sigact.org)
   1 points by Brajeshwar 28 days ago | 1 comments
6. Gödel's Beavers, or the Limits of Knowledge (lcamtuf.substack.com)
   1 points by rbanffy 10 days ago | discuss
7. AGI Is Mathematically Impossible (3): Kolmogorov Complexity
   39 points by ICBTheory 6 days ago | 80 comments
8. Ask HN: How to Argue Against AI Enthusiasts?
   11 points by Vektorceraptor about 14 hours ago | 4 comments
9. The Cost of an Image: The Energy Consumption of AI Image Generation (arxiv.org)
   6 points by GodelInTheShell 9 days ago | discuss
10. Zuck Races to Build Godlike AI, Women and People of Color Aren't Invited (gizmodo.com)
    10 points by Bluestein 7 days ago | 2 comments
11. In Pursuit of Godlike Technology, Mark Zuckerberg Amps Up the A.I. Race (www.nytimes.com)
    7 points by skue 21 days ago | 4 comments
12. GoReleaser v2.11 (carlosbecker.com)
    3 points by unripe_syntax 9 days ago | discuss
13. Generative Dialectical Engine (medium.com)
    1 points by boredthoughts 12 days ago | discuss
14. Show HN: Procedural 2D Terrain Generator (procedural-art.netlify.app)
    3 points by godlabs 27 days ago | discuss
15. Show HN: Gaussian Random Walker Simulation in JavaScript (procedural-art.netlify.app)
    3 points by godlabs 29 days ago | discuss
16. What If Awareness Is the Fundamental Substrate of Reality?
    2 points by GodlySharing 23 days ago | 2 comments
17. Mercury: Ultra-fast language models based on diffusion (arxiv.org)
    576 points by PaulHoule 11 days ago | 242 comments
18. I extracted the safety filters from Apple Intelligence models (github.com)
    540 points by BlueFalconHD 12 days ago | 437 comments
19. Melbourne man discovers extensive model train network underneath house (www.sbs.com.au)
    407 points by cfcfcf 18 days ago | 153 comments
20. Kimi K2 is a state-of-the-art mixture-of-experts (MoE) language model (github.com)
    350 points by ConteMascetti71 6 days ago | 2 comments
21. Kimi K2 is a state-of-the-art mixture-of-experts (MoE) language model (twitter.com)
    345 points by c4pt0r 7 days ago | 178 comments
22. AbsenceBench: Language models can't tell what's missing (arxiv.org)
    324 points by JnBrymn 28 days ago | 84 comments
23. Huawei releases an open weight model trained on Huawei Ascend GPUs (arxiv.org)
    321 points by buyucu 17 days ago | 333 comments
24. All AI models might be the same (blog.jxmo.io)
    293 points by jxmorris12 1 day ago | 142 comments
25. How large are large language models? (gist.github.com)
    263 points by rain1 17 days ago | 150 comments
26. OpenAI delays launch of open-weight model (twitter.com)
    259 points by martinald 7 days ago | 202 comments
27. Apple Intelligence Foundation Language Models Tech Report 2025 (machinelearning.apple.com)
    236 points by 2bit 1 day ago | 199 comments
28. The provenance memory model for C (gustedt.wordpress.com)
    225 points by HexDecOctBin 19 days ago | 143 comments
29. Normalizing Flows Are Capable Generative Models (machinelearning.apple.com)
    169 points by danboarder 21 days ago | 43 comments
30. Apple just released a weirdly interesting coding language model (9to5mac.com)
    165 points by ksec 13 days ago | 71 comments