Hackernews posts about Gödel

1. 31
   

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

   ▲ 2Schlagbohrer10ddiscusssavesaved
2. 32
   

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

   ▲ 2the-mitr12ddiscusssavesaved
3. 33
   

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

   ▲ 1freshNfunky24ddiscusssavesaved
4. 34
   

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

   ▲ 3DRLogvinovich36hdiscusssavesaved
5. 35
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 4surprisetalk9ddiscusssavesaved
6. 36
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 1ibobev16ddiscusssavesaved
7. 37
   

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

   ▲ 4GodelNumbering23ddiscusssavesaved
8. 38
   

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

   ▲ 3GodelNumbering18ddiscusssavesaved
9. 39
   

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

   ▲ 2GodelNumbering37h💬 3savesaved
10. 40
    

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

    ▲ 2GodelNumbering25d💬 1savesaved
11. 41
    

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

    ▲ 1benarent17ddiscusssavesaved
12. 42
    

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

    ▲ 4goeladityx7d💬 2savesaved
13. 43
    

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

    ▲ 2355ggcr17d💬 892savesaved
14. 44
    

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

    ▲ 856sgiannopoulos10d💬 116savesaved
15. 45
    

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

    ▲ 736theanonymousone2d💬 213savesaved
16. 46
    

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

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

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

    ▲ 667rakannimer14d💬 646savesaved
18. 48
    

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

    ▲ 654alphax31415d💬 195savesaved
19. 49
    

    newKimi K3.1 Pro model weights are outhuggingface.co

    ▲ 629abrarthought42h💬 187savesaved
20. 50
    

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

    ▲ 626groar17d💬 127savesaved
21. 51
    

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

    ▲ 590NikZaal8d💬 236savesaved
22. 52
    

    newDessa: Conversation Model trained only on speechblock.xyz

    ▲ 537dsr1213d💬 199savesaved
23. 53
    

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

    ▲ 526user0529192d💬 162savesaved
24. 54
    

    newAnthropic blocks users for anything touching training larger modelstwitter.com

    ▲ 493pretext5d💬 271savesaved
25. 55
    

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

    ▲ 486choult9d💬 281savesaved
26. 56
    

    newBuild your own decision modelnishtahir.com

    ▲ 480softwaredoug26d💬 105savesaved
27. 57
    

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

    ▲ 465guregodevo5d💬 232savesaved
28. 58
    

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

    ▲ 436amrrs23d💬 100savesaved
29. 59
    

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

    ▲ 428Betelbuddy11d💬 339savesaved
30. 60
    

    newBitwarden Dual License Modelcommunity.bitwarden.com

    ▲ 408Cider998626d💬 311savesaved

· edit