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

691
newVienna Gödel Lecture 2026: Geoffrey Hinton [video]www.youtube.com
▲ 2Schlagbohrer 10d discuss
692
newIncompleteness and Computability – An Open Introduction to Gödel's Theoremsic.openlogicproject.org
▲ 2the-mitr 12d discuss
693
newThe Throw from Eden: How Myth and Gödel Prove the Same Limitfelixschaller.substack.com
▲ 1freshNfunky 24d discuss
694
newShow HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"zenodo.org
▲ 3DRLogvinovich 47h discuss
695
newA topological model for provability logicwww.johndcook.com
▲ 4surprisetalk 10d discuss
696
newA topological model for provability logicwww.johndcook.com
▲ 1ibobev 17d discuss
697
newSoftware Development job postings in the US hit a 3 year highfred.stlouisfed.org
▲ 4GodelNumbering 24d discuss
698
newFrom 'I want my own harness' to corporate sponsorshipdirac.run
▲ 3GodelNumbering 19d discuss
699
newDeepSeek alone now accounts for 53% of all token volume on Openrouterdirac.run
▲ 2GodelNumbering 2d 💬 3
700
new'AI has inner experience' is a dangerous assumptiondirac.run
▲ 2GodelNumbering 26d 💬 1
701
newLessons from Watching an AI Agent Swarm Self-Organizegoteleport.com
▲ 1benarent 17d discuss
702
newShow HN: AI Knows Us – see who ChatGPT and Perplexity recommend instead of youwww.aiknowsus.com
▲ 4goeladityx 7d 💬 2
703
newQwen 3.8 27B on my laptop can interpret model weights, toosimonwillison.net
▲ 736theanonymousone 3d 💬 214
704
newAsk HN: If the models are so good, why doesn't OpenAI just start 100 companies?
▲ 681ex-aws-dude 14d 💬 756
705
newKimi K3.1 Pro model weights are outhuggingface.co
▲ 634abrarthought 2d 💬 189
706
newTimestral: Mistral's time-series foundation modelsmistral.ai
▲ 626groar 18d 💬 127
707
newClaude Code regularly sends each background agent’s transcript to its modelgist.github.com
▲ 591NikZaal 8d 💬 236
708
newDessa: Conversation Model trained only on speechblock.xyz
▲ 537dsr12 14d 💬 199
709
newOpenAI seems to be silently re-enabling model training on Codex chats
▲ 527user052919 3d 💬 163
710
newAnthropic blocks users for anything touching training larger modelstwitter.com
▲ 493pretext 6d 💬 271
711
newMemdoor: A team of 5 Qwen3.8-27B models beats Fable 5 on LiveCodeBench Hardgithub.com
▲ 465guregodevo 5d 💬 232
712
newShow HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights)www.linum.ai
▲ 267schopra909 2d 💬 29
713
newProgress on provable inference for large language modelswww.anthropic.com
▲ 238ltononro 2d 💬 121
714
newWe're training a Figma-fluent editing modelwww.figma.com
▲ 150gmays 5d 💬 70
715
newSecuring our frontier model training environmentopenai.com
▲ 143pretext 14d 💬 128
716
newClosed AI models dominate the price-performance frontiervillage.dev
▲ 76kevin_hu 17h 💬 71
717
newDon't Call It a Decision Modeltypesafe.ai
▲ 47emschwartz 46h 💬 10
718
newAsk HN: What is Google Flights' business model and has it changed recently?
▲ 8lastofthemojito 2d 💬 7
719
newBuild World Models for Interactive Simulation with Nvidia Cosmosdeveloper.nvidia.com
▲ 7gmays 5h discuss
720
newAsk HN: Which agent harness do you use for working with multiple Models?
▲ 6avucenovic 2d 💬 1