Hackernews posts about Gödel

Gödel is Kurt Friedrich Gödel, an Austrian mathematician and logician who made groundbreaking contributions to the fields of mathematics, philosophy, and computer science in the early 20th century.

RSS feed for Gödel

Related:Einstein Escher Bach Heisenberg

421
newVienna Gödel Lecture 2026: Geoffrey Hinton [video]www.youtube.com
▲ 2Schlagbohrer 10d discuss
422
newIncompleteness and Computability – An Open Introduction to Gödel's Theoremsic.openlogicproject.org
▲ 2the-mitr 12d discuss
423
newThe Throw from Eden: How Myth and Gödel Prove the Same Limitfelixschaller.substack.com
▲ 1freshNfunky 24d discuss
424
newShow HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"zenodo.org
▲ 3DRLogvinovich 42h discuss
425
newA topological model for provability logicwww.johndcook.com
▲ 4surprisetalk 10d discuss
426
newA topological model for provability logicwww.johndcook.com
▲ 1ibobev 17d discuss
427
newSoftware Development job postings in the US hit a 3 year highfred.stlouisfed.org
▲ 4GodelNumbering 24d discuss
428
newFrom 'I want my own harness' to corporate sponsorshipdirac.run
▲ 3GodelNumbering 19d discuss
429
newDeepSeek alone now accounts for 53% of all token volume on Openrouterdirac.run
▲ 2GodelNumbering 43h 💬 3
430
new'AI has inner experience' is a dangerous assumptiondirac.run
▲ 2GodelNumbering 25d 💬 1
431
newLessons from Watching an AI Agent Swarm Self-Organizegoteleport.com
▲ 1benarent 17d discuss
432
newShow HN: AI Knows Us – see who ChatGPT and Perplexity recommend instead of youwww.aiknowsus.com
▲ 4goeladityx 7d 💬 2
433
newDeepInfer: High-performance inference framework for DeepSeek modelsgithub.com
▲ 2355ggcr 17d 💬 892
434
newSebastian Raschka's from-scratch video course on building reasoning modelsmagazine.sebastianraschka.com
▲ 856sgiannopoulos 11d 💬 116
435
newQwen 3.8 27B on my laptop can interpret model weights, toosimonwillison.net
▲ 736theanonymousone 2d 💬 213
436
newAsk HN: If the models are so good, why doesn't OpenAI just start 100 companies?
▲ 681ex-aws-dude 14d 💬 756
437
newEvery AI model has the same "controversial" take on humanswww.modelcompare.ai
▲ 667rakannimer 14d 💬 646
438
newWorldTUI: I trained a 360M model to pretend to be a terminalsimedw.com
▲ 654alphax314 15d 💬 195
439
newKimi K3.1 Pro model weights are outhuggingface.co
▲ 632abrarthought 2d 💬 187
440
newTimestral: Mistral's time-series foundation modelsmistral.ai
▲ 626groar 18d 💬 127
441
newClaude Code regularly sends each background agent’s transcript to its modelgist.github.com
▲ 590NikZaal 8d 💬 236
442
newDessa: Conversation Model trained only on speechblock.xyz
▲ 537dsr12 13d 💬 199
443
newOpenAI seems to be silently re-enabling model training on Codex chats
▲ 526user052919 3d 💬 163
444
newAnthropic blocks users for anything touching training larger modelstwitter.com
▲ 493pretext 5d 💬 271
445
newRoblox downloaded 145GB models from us (including adult content) without askingopen3dlab.com
▲ 486choult 10d 💬 281
446
newBuild your own decision modelnishtahir.com
▲ 480softwaredoug 26d 💬 105
447
newMemdoor: A team of 5 Qwen3.8-27B models beats Fable 5 on LiveCodeBench Hardgithub.com
▲ 465guregodevo 5d 💬 232
448
newWe turned EmbeddingGemma 2 into a speech-to-text modeleg2.haku.sh
▲ 436amrrs 24d 💬 100
449
newIBM CEO says open weight models are now good and cheap on-premwww.theregister.com
▲ 428Betelbuddy 11d 💬 339
450
newBitwarden Dual License Modelcommunity.bitwarden.com
▲ 408Cider9986 27d 💬 311

More stories →