Hackernews posts about Kurt Gödel

Kurt Gödel is a renowned Austrian mathematician, logician, and philosopher who made groundbreaking contributions to the foundations of mathematics, computation theory, and the limitations of formal systems.

RSS feed for Kurt Gödel

01
newShow HN: Foremerge – Catch intent conflicts between parallel coding agentsgithub.com
▲ 45naw103 14d 💬 20
02
newLaunch HN: Vespper (YC F24) – SOTA Docx MCPwww.vespper.com
▲ 37topaztee 7d 💬 17
03
newTell HN: An inside view of Montana's new biotech law
▲ 34niklas_anzinger 19d 💬 26
04
newKurt Gödel's Brilliant Madnesswww.cantorsparadise.com
▲ 2tzury 220d discuss
05
newMemories of Kurt Gödelwww.rudyrucker.com
▲ 1nill0 482d 💬 1
06
newKurt – Copilot for Music Productiontrykurt.com
▲ 5toofi 483d 💬 2
07
newUni Kuru Toga Roulette Model Mechanical Pencil Review (2023)www.architecturelab.net
▲ 2wslh 403d 💬 2
08
newShow HN: Web-based Nürburgring driving game – custom physics, synthesized sounddrive-game.pages.dev
▲ 4esc5221 110d discuss
09
newI drove my (new to me) 1999 911 996 5k Miles in 3 Months: Engineer's Review
▲ 2h100ker 361d discuss
10
newAsk HN: Is temporal anchoring for LLM drift reduction a known approach?
▲ 1haley-kurtz 313d discuss
11
newShow HN: LLM structured outputs hurt performance, we built a model to fix itosmosis.ai
▲ 5KaseyZhang 494d discuss
12
newDeep Double Descent: Where Bigger Models and More Data Hurtopenai.com
▲ 2bearseascape 604d discuss
13
newGood products can be hurt by experts' tough ratings, theoretical model revealsphys.org
▲ 2PaulHoule 655d discuss
14
newAsk HN: Best foundation model for CLM fine-tuning?
▲ 28philomath868 403d 💬 19
15
newShow HN: Run open-weight OCR, VLM and vision models behind one APIwww.vlmrun.com
▲ 5dr_blueberry 31d discuss
16
newAsk HN: Audio analysis models, how to train to learn sound patters?
▲ 4thedangler 263d 💬 2
17
new25 years after the Agile, did the industry help or hurt software development?
▲ 3ghostinit 233d 💬 1
18
newOpenAI's dirty secret: AI models eating each other
▲ 2PushBeyondLimit 484d 💬 2
19
newAsk HN: Does the constant 'AI' hail also hurt your mojo?
▲ 2lagrange77 623d 💬 2
20
newAsk HN: Where does your AI/ML data pipeline hurt the most? (2025)
▲ 1phukon 525d discuss
21
newLaunch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
▲ 89atarus 216d 💬 21
22
newHow Remote Work Died: A Girardian Tragedy in Corporate America
▲ 24la_joconde 431d 💬 12
23
newOpenAI is not a serious company
▲ 13johnnyApplePRNG 349d 💬 14
24
newAsk HN: How to make money with SaaS without network or VC funding?
▲ 6squareloop 458d 💬 8
25
newShow HN: I built an AI portfolio manager and entrusted it with $50kportfoliogenius.ai
▲ 4regnull 294d 💬 2
26
newShow HN: Ubik - A new way to use AI in citation-based work and researchwww.ubik.studio
▲ 4ieuanking 343d discuss
27
newShow HN: An AI Agent with a 32-Layer Psyche (Dreams, Trauma, Defense Mechanisms)www.creimake.com
▲ 3Creimake 274d 💬 1
28
newShow HN: Running over 80M tokens in one agent session with no compactiongithub.com
▲ 3andrew_ocs 83d discuss
29
newRealistic Superintelligence
▲ 2onlypostonce 114d 💬 4
30
newShow HN: A Claude skill that prunes your AI's memory file, one diff at a timepuremint.co.uk
▲ 2wonkyfruit 101d discuss
31
newShow HN: Living Satoshi – A decentralized AI with on-chain memorylivingsatoshi.com
▲ 2sebklaey 257d discuss
32
newGoogle has every advantage in AI. So why doesn't it lead?
▲ 1HardCodedBias 241d 💬 9
33
newShow HN: FastAPI Matrix Admin – Zero-config secure admin panel with cyberpunk UIgithub.com
▲ 1rasinmuhammed 303d 💬 1