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. Nanopositioning Metrology, Gödel, and Bootstraps (www.pi-usa.us)
   29 points by nill0 7 days ago | 6 comments
2. Godel Number for Genesis 1
   3 points by 7h3P146u3 11 days ago | 2 comments
3. Turing, Gödel, and Church at Princeton in the 1930s (2012) [video] (www.youtube.com)
   2 points by gone35 10 days ago | discuss
4. Kurt Gödel's Brilliant Madness (www.cantorsparadise.com)
   2 points by tzury 27 days ago | discuss
5. Claude Code wipes out a production database (xcancel.com)
   5 points by GodelNumbering 19 days ago | 6 comments
6. X may have made Ask Grok a Premium-only feature (piunikaweb.com)
   4 points by godelmachine 14 days ago | discuss
7. Show HN: Malleon – turn real user sessions into automated tests
   4 points by godelshalt 18 days ago | discuss
8. Nvidia's Nemotron 3 Super is a bigger deal than you think (www.signalbloom.ai)
   2 points by GodelNumbering 11 days ago | discuss
9. Why Task Proficiency Doesn't Equal AI Autonomy (www.signalbloom.ai)
   2 points by GodelNumbering 17 days ago | discuss
10. GoDex Supports Openrouter (github.com)
    2 points by cheikhshift 6 days ago | discuss
11. Show HN: I built a real-time OSINT dashboard pulling 15 live global feeds (github.com)
    312 points by vancecookcobxin 17 days ago | 123 comments
12. Show HN: Bayesian intelligence – geopolitical predictions from live public data
    1 points by dx111ge 17 days ago | discuss
13. Dependency cooldowns would be a good idea for Go (utcc.utoronto.ca)
    2 points by ingve 11 days ago | 1 comments
14. Show HN: TrueMatch – AI agents match you on observed behavior, not profiles (github.com)
    2 points by godivyam 23 days ago | 1 comments
15. Fast and free coding agent written with Go (github.com)
    2 points by cheikhshift 13 days ago | discuss
16. MCP in Layman Terms (cheikhhseck.medium.com)
    1 points by cheikhshift 11 days ago | discuss
17. Running Tesla Model 3's computer on my desk using parts from crashed cars (bugs.xdavidhu.me)
    332 points by driesdep about 4 hours ago | 111 comments
18. Show HN: AI Roundtable – Let 200 models debate your question (opper.ai)
    96 points by felix089 1 day ago | 81 comments
19. Show HN: I ran a language model on a PS2 (github.com)
    42 points by xaskasdf 4 days ago | 14 comments
20. Apple Can Create Smaller On-Device AI Models from Google's Gemini (www.macrumors.com)
    25 points by thm about 8 hours ago | 7 comments
21. Model collapse is already happening (cacm.acm.org)
    18 points by zdw about 7 hours ago | 17 comments
22. Ask HN: $50 monthly budget, which coding models would you recommend now?
    11 points by klueinc 1 day ago | 18 comments
23. Chopping my brain into bits – turning my brain into a 3D model on the web (srg.id.au)
    5 points by lanakei 3 days ago | discuss
24. I Trained a Chess Model on Just $14 (mostlime.pages.dev)
    2 points by zachlatta about 2 hours ago | 1 comments
25. Show HN: Claude Code skills that build complete Godot games (github.com)
    337 points by htdt 9 days ago | 206 comments
26. Show HN: Cq – Stack Overflow for AI coding agents (blog.mozilla.ai)
    216 points by peteski22 2 days ago | 97 comments
27. LLMs learn what programmers create, not how programmers work
    37 points by noemit 2 days ago | 15 comments
28. Einstein went to his office just so he could walk home with Gödel (www.futilitycloset.com)
    275 points by beardyw almost 2 years ago | 141 comments
29. The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)
    250 points by birriel 10 months ago | 224 comments
30. Gödel's theorem debunks the most important AI myth – Roger Penrose [video] (www.youtube.com)
    198 points by Lockal about 1 year ago | 432 comments
31. A deep dive into self-improving AI and the Darwin-Gödel Machine (richardcsuwandi.github.io)
    195 points by hardmaru 10 months ago | 97 comments
32. The spy who flunked it: Kurt Gödel's forgotten part in the atom-bomb story (www.nature.com)
    139 points by drdee almost 2 years ago | 98 comments
33. The new Gödel Prize winner tastes great and is less filling (blog.computationalcomplexity.org)
    110 points by baruchel 10 months ago | 47 comments
34. Gödel Agent: A self-referential agent framework for recursive self-improvement (arxiv.org)
    81 points by tkgally over 1 year ago | 29 comments
35. Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents (arxiv.org)
    55 points by tzury 10 months ago | 16 comments
36. Gödel, Escher, Bach, and AI (2023) (www.theatlantic.com)
    35 points by pcfwik about 1 year ago | 10 comments
37. Gödel's Loophole (en.wikipedia.org)
    21 points by m-hodges 8 months ago | 11 comments
38. Book Review: Gödel, Escher, Bach (www.griffinknight.com)
    14 points by paulpauper over 1 year ago | 3 comments
39. Godel's Proof [pdf] (dn790008.ca.archive.org)
    8 points by penguin_booze 8 months ago | discuss
40. Gödel's Beavers, or the Limits of Knowledge (lcamtuf.substack.com)
    8 points by weinzierl 9 months ago | discuss
41. Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents (arxiv.org)
    7 points by hardmaru 10 months ago | 1 comments
42. Gödel's Loophole (en.wikipedia.org)
    6 points by 1970-01-01 about 1 year ago | discuss
43. Gödel's Loophole (en.wikipedia.org)
    6 points by croes about 1 year ago | discuss
44. What Gödel's Theorem Reveals About AI Coding Agents (ducky.ai)
    5 points by supercoKyle 10 months ago | 3 comments
45. The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)
    5 points by hardmaru 10 months ago | 1 comments
46. I Don't Love Gödel, Escher, Bach (2018) (journal.infinitenegativeutility.com)
    5 points by Tomte 10 months ago | 1 comments
47. 2025 Gödel Prize (www.sigact.org)
    5 points by thunderbong 9 months ago | discuss
48. Consciousness as a Gödel sentence in the language of science (www.theintrinsicperspective.com)
    5 points by jger15 over 1 year ago | discuss
49. 2025 Gödel Prize has been awarded to Eshan Chattopadhyay (www.sigact.org)
    4 points by thunderbong 9 months ago | discuss
50. Gödel's Loophole (in the US Constitution) (en.wikipedia.org)
    4 points by leot about 1 year ago | discuss
51. Godel Terminal – A powerful web based Bloomberg Terminal alternative (godelterminal.com)
    4 points by colesantiago over 1 year ago | discuss
52. On Godel's Incompleteness Theorem
    3 points by uint9_t 9 months ago | 5 comments
53. Gödel's Therapy Room (gtr.dev)
    3 points by g-t-r 11 months ago | 1 comments
54. Gödel's Loophole (en.wikipedia.org)
    3 points by kleiba about 1 year ago | 1 comments
55. Einstein and Gödel's Thoughtful Walks in Princeton (www.cantorsparadise.com)
    3 points by bookofjoe over 1 year ago | 1 comments
56. Nanopositioning Metrology, Gödel, and Bootstraps (www.pi-usa.us)
    3 points by nill0 4 months ago | discuss
57. Godel's Solution to Einstien's GR (gist.github.com)
    3 points by amazedsaint 5 months ago | discuss