Hackernews posts about Gödel

1. 01
   

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

   ▲ 2Schlagbohrer10ddiscusssavesaved
2. 02
   

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

   ▲ 2the-mitr12ddiscusssavesaved
3. 03
   

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

   ▲ 1freshNfunky24ddiscusssavesaved
4. 04
   

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

   ▲ 3DRLogvinovich35hdiscusssavesaved
5. 05
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 4surprisetalk9ddiscusssavesaved
6. 06
   

   newA topological model for provability logicwww.johndcook.com

   ▲ 1ibobev16ddiscusssavesaved
7. 07
   

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

   ▲ 4GodelNumbering23ddiscusssavesaved
8. 08
   

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

   ▲ 3GodelNumbering18ddiscusssavesaved
9. 09
   

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

   ▲ 2GodelNumbering36h💬 3savesaved
10. 10
    

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

    ▲ 2GodelNumbering25d💬 1savesaved
11. 11
    

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

    ▲ 1benarent17ddiscusssavesaved
12. 12
    

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

    ▲ 4goeladityx7d💬 2savesaved
13. 13
    

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

    ▲ 2355ggcr16d💬 892savesaved
14. 14
    

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

    ▲ 856sgiannopoulos10d💬 116savesaved
15. 15
    

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

    ▲ 736theanonymousone2d💬 213savesaved
16. 16
    

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

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

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

    ▲ 667rakannimer14d💬 646savesaved
18. 18
    

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

    ▲ 654alphax31415d💬 195savesaved
19. 19
    

    newKimi K3.1 Pro model weights are outhuggingface.co

    ▲ 627abrarthought41h💬 187savesaved
20. 20
    

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

    ▲ 626groar17d💬 127savesaved
21. 21
    

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

    ▲ 590NikZaal8d💬 236savesaved
22. 22
    

    newDessa: Conversation Model trained only on speechblock.xyz

    ▲ 537dsr1213d💬 199savesaved
23. 23
    

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

    ▲ 526user0529192d💬 161savesaved
24. 24
    

    newAnthropic blocks users for anything touching training larger modelstwitter.com

    ▲ 493pretext5d💬 271savesaved
25. 25
    

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

    ▲ 486choult9d💬 281savesaved
26. 26
    

    newBuild your own decision modelnishtahir.com

    ▲ 480softwaredoug26d💬 105savesaved
27. 27
    

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

    ▲ 465guregodevo5d💬 232savesaved
28. 28
    

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

    ▲ 436amrrs23d💬 100savesaved
29. 29
    

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

    ▲ 428Betelbuddy11d💬 339savesaved
30. 30
    

    newBitwarden Dual License Modelcommunity.bitwarden.com

    ▲ 408Cider998626d💬 311savesaved

· edit