Hackernews posts about Gödel

1. 61
   

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

   ▲ 2Schlagbohrer10ddiscusssavesaved
2. 62
   

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

   ▲ 2the-mitr12ddiscusssavesaved
3. 63
   

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

   ▲ 1freshNfunky24ddiscusssavesaved
4. 64
   

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

   ▲ 3DRLogvinovich36hdiscusssavesaved
5. 65
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 4surprisetalk9ddiscusssavesaved
6. 66
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 1ibobev16ddiscusssavesaved
7. 67
   

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

   ▲ 4GodelNumbering23ddiscusssavesaved
8. 68
   

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

   ▲ 3GodelNumbering18ddiscusssavesaved
9. 69
   

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

   ▲ 2GodelNumbering37h💬 3savesaved
10. 70
    

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

    ▲ 2GodelNumbering25d💬 1savesaved
11. 71
    

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

    ▲ 1benarent17ddiscusssavesaved
12. 72
    

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

    ▲ 4goeladityx7d💬 2savesaved
13. 73
    

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

    ▲ 2355ggcr17d💬 892savesaved
14. 74
    

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

    ▲ 856sgiannopoulos10d💬 116savesaved
15. 75
    

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

    ▲ 736theanonymousone2d💬 213savesaved
16. 76
    

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

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

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

    ▲ 667rakannimer14d💬 646savesaved
18. 78
    

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

    ▲ 654alphax31415d💬 195savesaved
19. 79
    

    newKimi K3.1 Pro model weights are outhuggingface.co

    ▲ 631abrarthought42h💬 187savesaved
20. 80
    

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

    ▲ 626groar18d💬 127savesaved
21. 81
    

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

    ▲ 590NikZaal8d💬 236savesaved
22. 82
    

    newDessa: Conversation Model trained only on speechblock.xyz

    ▲ 537dsr1213d💬 199savesaved
23. 83
    

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

    ▲ 526user0529192d💬 163savesaved
24. 84
    

    newAnthropic blocks users for anything touching training larger modelstwitter.com

    ▲ 493pretext5d💬 271savesaved
25. 85
    

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

    ▲ 486choult9d💬 281savesaved
26. 86
    

    newBuild your own decision modelnishtahir.com

    ▲ 480softwaredoug26d💬 105savesaved
27. 87
    

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

    ▲ 465guregodevo5d💬 232savesaved
28. 88
    

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

    ▲ 436amrrs23d💬 100savesaved
29. 89
    

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

    ▲ 428Betelbuddy11d💬 339savesaved
30. 90
    

    newBitwarden Dual License Modelcommunity.bitwarden.com

    ▲ 408Cider998626d💬 311savesaved

· edit