Hackernews posts about Gödel

1. 211
   

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

   ▲ 2Schlagbohrer10ddiscusssavesaved
2. 212
   

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

   ▲ 2the-mitr12ddiscusssavesaved
3. 213
   

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

   ▲ 1freshNfunky24ddiscusssavesaved
4. 214
   

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

   ▲ 3DRLogvinovich38hdiscusssavesaved
5. 215
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 4surprisetalk9ddiscusssavesaved
6. 216
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 1ibobev16ddiscusssavesaved
7. 217
   

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

   ▲ 4GodelNumbering23ddiscusssavesaved
8. 218
   

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

   ▲ 3GodelNumbering18ddiscusssavesaved
9. 219
   

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

   ▲ 2GodelNumbering39h💬 3savesaved
10. 220
    

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

    ▲ 2GodelNumbering25d💬 1savesaved
11. 221
    

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

    ▲ 1benarent17ddiscusssavesaved
12. 222
    

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

    ▲ 4goeladityx7d💬 2savesaved
13. 223
    

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

    ▲ 2355ggcr17d💬 892savesaved
14. 224
    

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

    ▲ 856sgiannopoulos10d💬 116savesaved
15. 225
    

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

    ▲ 736theanonymousone2d💬 213savesaved
16. 226
    

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

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

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

    ▲ 667rakannimer14d💬 646savesaved
18. 228
    

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

    ▲ 654alphax31415d💬 195savesaved
19. 229
    

    newKimi K3.1 Pro model weights are outhuggingface.co

    ▲ 632abrarthought44h💬 187savesaved
20. 230
    

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

    ▲ 626groar18d💬 127savesaved
21. 231
    

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

    ▲ 590NikZaal8d💬 236savesaved
22. 232
    

    newDessa: Conversation Model trained only on speechblock.xyz

    ▲ 537dsr1213d💬 199savesaved
23. 233
    

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

    ▲ 526user0529192d💬 163savesaved
24. 234
    

    newAnthropic blocks users for anything touching training larger modelstwitter.com

    ▲ 493pretext5d💬 271savesaved
25. 235
    

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

    ▲ 486choult10d💬 281savesaved
26. 236
    

    newBuild your own decision modelnishtahir.com

    ▲ 480softwaredoug26d💬 105savesaved
27. 237
    

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

    ▲ 465guregodevo5d💬 232savesaved
28. 238
    

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

    ▲ 436amrrs24d💬 100savesaved
29. 239
    

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

    ▲ 428Betelbuddy11d💬 339savesaved
30. 240
    

    newBitwarden Dual License Modelcommunity.bitwarden.com

    ▲ 408Cider998626d💬 311savesaved

· edit