Hackernews posts about Gödel

1. 151
   

   newVienna Gödel Lecture 2026: Geoffrey Hinton [video]www.youtube.com

   ▲ 2Schlagbohrer10ddiscusssavesaved
2. 152
   

   newIncompleteness and Computability – An Open Introduction to Gödel's Theoremsic.openlogicproject.org

   ▲ 2the-mitr12ddiscusssavesaved
3. 153
   

   newThe Throw from Eden: How Myth and Gödel Prove the Same Limitfelixschaller.substack.com

   ▲ 1freshNfunky24ddiscusssavesaved
4. 154
   

   newShow HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"zenodo.org

   ▲ 3DRLogvinovich38hdiscusssavesaved
5. 155
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 4surprisetalk9ddiscusssavesaved
6. 156
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 1ibobev16ddiscusssavesaved
7. 157
   

   newSoftware Development job postings in the US hit a 3 year highfred.stlouisfed.org

   ▲ 4GodelNumbering23ddiscusssavesaved
8. 158
   

   newFrom 'I want my own harness' to corporate sponsorshipdirac.run

   ▲ 3GodelNumbering18ddiscusssavesaved
9. 159
   

   newDeepSeek alone now accounts for 53% of all token volume on Openrouterdirac.run

   ▲ 2GodelNumbering39h💬 3savesaved
10. 160
    

    new'AI has inner experience' is a dangerous assumptiondirac.run

    ▲ 2GodelNumbering25d💬 1savesaved
11. 161
    

    newLessons from Watching an AI Agent Swarm Self-Organizegoteleport.com

    ▲ 1benarent17ddiscusssavesaved
12. 162
    

    newShow HN: AI Knows Us – see who ChatGPT and Perplexity recommend instead of youwww.aiknowsus.com

    ▲ 4goeladityx7d💬 2savesaved
13. 163
    

    newDeepInfer: High-performance inference framework for DeepSeek modelsgithub.com

    ▲ 2355ggcr17d💬 892savesaved
14. 164
    

    newSebastian Raschka's from-scratch video course on building reasoning modelsmagazine.sebastianraschka.com

    ▲ 856sgiannopoulos10d💬 116savesaved
15. 165
    

    newQwen 3.8 27B on my laptop can interpret model weights, toosimonwillison.net

    ▲ 736theanonymousone2d💬 213savesaved
16. 166
    

    newAsk HN: If the models are so good, why doesn't OpenAI just start 100 companies?

    ▲ 681ex-aws-dude14d💬 756savesaved
17. 167
    

    newEvery AI model has the same "controversial" take on humanswww.modelcompare.ai

    ▲ 667rakannimer14d💬 646savesaved
18. 168
    

    newWorldTUI: I trained a 360M model to pretend to be a terminalsimedw.com

    ▲ 654alphax31415d💬 195savesaved
19. 169
    

    newKimi K3.1 Pro model weights are outhuggingface.co

    ▲ 631abrarthought43h💬 187savesaved
20. 170
    

    newTimestral: Mistral's time-series foundation modelsmistral.ai

    ▲ 626groar18d💬 127savesaved
21. 171
    

    newClaude Code regularly sends each background agent’s transcript to its modelgist.github.com

    ▲ 590NikZaal8d💬 236savesaved
22. 172
    

    newDessa: Conversation Model trained only on speechblock.xyz

    ▲ 537dsr1213d💬 199savesaved
23. 173
    

    newOpenAI seems to be silently re-enabling model training on Codex chats

    ▲ 526user0529192d💬 163savesaved
24. 174
    

    newAnthropic blocks users for anything touching training larger modelstwitter.com

    ▲ 493pretext5d💬 271savesaved
25. 175
    

    newRoblox downloaded 145GB models from us (including adult content) without askingopen3dlab.com

    ▲ 486choult10d💬 281savesaved
26. 176
    

    newBuild your own decision modelnishtahir.com

    ▲ 480softwaredoug26d💬 105savesaved
27. 177
    

    newMemdoor: A team of 5 Qwen3.8-27B models beats Fable 5 on LiveCodeBench Hardgithub.com

    ▲ 465guregodevo5d💬 232savesaved
28. 178
    

    newWe turned EmbeddingGemma 2 into a speech-to-text modeleg2.haku.sh

    ▲ 436amrrs24d💬 100savesaved
29. 179
    

    newIBM CEO says open weight models are now good and cheap on-premwww.theregister.com

    ▲ 428Betelbuddy11d💬 339savesaved
30. 180
    

    newBitwarden Dual License Modelcommunity.bitwarden.com

    ▲ 408Cider998626d💬 311savesaved

· edit