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.
- The new Gödel Prize winner tastes great and is less filling (blog.computationalcomplexity.org)
- Gödel's Beavers, or the Limits of Knowledge (lcamtuf.substack.com)
- 2025 Gödel Prize (www.sigact.org)
- 2025 Gödel Prize has been awarded to Eshan Chattopadhyay (www.sigact.org)
- Memories of Kurt Gödel (www.rudyrucker.com)
- In Pursuit of Godlike Technology, Mark Zuckerberg Amps Up the A.I. Race (www.nytimes.com)
- Show HN: Procedural 2D Terrain Generator (procedural-art.netlify.app)
- Show HN: Gaussian Random Walker Simulation in JavaScript (procedural-art.netlify.app)
- Magistral — the first reasoning model by Mistral AI (mistral.ai)
- How large are large language models? (gist.github.com)
- Self-Adapting Language Models (arxiv.org)
- The provenance memory model for C (gustedt.wordpress.com)
- Normalizing Flows Are Capable Generative Models (machinelearning.apple.com)
- Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)
- Unsupervised Elicitation of Language Models (arxiv.org)
- The Illusion of Thinking: Strengths and Limitations of Reasoning Models (machinelearning.apple.com)