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 Loophole (en.wikipedia.org)
   21 points by m-hodges 28 days ago | 11 comments
2. The Undecidability of BB(748) & Understanding Godel's Incompleteness Theorems [pdf] (www.ingo-blechschmidt.eu)
   3 points by pillars 13 days ago | discuss
3. Launch HN: Golpo (YC S25) – AI-generated explainer videos (video.golpoai.com)
   116 points by skar01 21 days ago | 93 comments
4. The Incompleteness of Ethics (aeon.co)
   9 points by lentoutcry 21 days ago | 4 comments
5. The Incompleteness of Ethics (aeon.co)
   8 points by i7l 10 days ago | 1 comments
6. The Incompleteness of Ethics (aeon.co)
   2 points by Brajeshwar 25 days ago | discuss
7. ETFs now hold more than $3.1T worth of just top US companies (www.signalbloom.ai)
   90 points by GodelNumbering 3 days ago | 103 comments
8. Show HN: A natural language search interface to ETF (and deep insights on each) (www.signalbloom.ai)
   2 points by GodelNumbering 5 days ago | 1 comments
9. Building GoReleaser: from shell script to paid product (carlosbecker.com)
   2 points by levlaz 13 days ago | discuss
10. Goedel-Prover-V2 (blog.goedel-prover.com)
    1 points by cristoperb 20 days ago | discuss
11. Show HN: I built a free worldwide holiday and disruption tracker (alarms.global)
    6 points by reverseblade2 3 days ago | discuss
12. Wikipedia as a Graph (wikigrapher.com)
    250 points by gidellav 5 days ago | 57 comments
13. Reusing Computation in Text-to-Image Diffusion for Efficient Image Generation (arxiv.org)
    38 points by gidellav 4 days ago | 2 comments
14. Sleeper AI agents and how Anthropic detects them [video] (www.youtube.com)
    25 points by gidellav 3 days ago | discuss
15. Learning on the Fly: Rapid Policy Adaptation via Differentiable Simulation (arxiv.org)
    4 points by gidellav 4 days ago | discuss
16. Secure, Headless, Self-Hosted CI Runner Written in Rust (github.com)
    3 points by gidellav 1 day ago | discuss
17. WhichLang: Language Detection Library in Rust (quickwit.io)
    1 points by gidellav 1 day ago | discuss
18. A multi-task neural network for atypical mitosis recognition under domain shift (arxiv.org)
    1 points by gidellav 4 days ago | discuss
19. Gemma 3 270M: Compact model for hyper-efficient AI (developers.googleblog.com)
    824 points by meetpateltech 20 days ago | 317 comments
20. Training language models to be warm and empathetic makes them less reliable (arxiv.org)
    358 points by Cynddl 22 days ago | 375 comments
21. Beyond sensor data: Foundation models of behavioral data from wearables (arxiv.org)
    230 points by brandonb 13 days ago | 54 comments
22. 'World Models,' an old idea in AI, mount a comeback (www.quantamagazine.org)
    172 points by warrenm about 15 hours ago | 61 comments
23. Llama Fund: Crowdfund AI Models (llama.fund)
    99 points by mountainriver 8 days ago | 75 comments
24. Ask HN: What to learn for math for modeling?
    71 points by shivajikobardan 7 days ago | 28 comments
25. iNaturalist keeps full species classification models private (github.com)
    62 points by contingencies about 12 hours ago | 24 comments
26. Ford and the Birth of the Model T (www.construction-physics.com)
    48 points by chmaynard 5 days ago | 26 comments
27. AI Models Need a Virtual Machine (blog.sigplan.org)
    25 points by reshabh 5 days ago | 1 comments
28. Show HN: AgentSea – Private, fast, and safe AI chat to access latest AI models (agentsea.com)
    6 points by miletus about 21 hours ago | discuss
29. How to Talk to Grandma About AI: Language Models as Thespians (jstrieb.github.io)
    5 points by jstrieb about 17 hours ago | 2 comments
30. Gemini 2.5 Flash Image (developers.googleblog.com)
    1093 points by meetpateltech 8 days ago | 474 comments