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.

1. On the philosophical relevance of Gödel's incompleteness theorems [pdf] (philpapers.org)
   1 points by Paracompact 7 days ago | discuss
2. The Gödel Problem: A Mathematical Argument Against AI Thought [video] (www.youtube.com)
   1 points by pedro_movai 29 days ago | discuss
3. Does the Constitution Have Flaws That Could Create Tyranny? On Gödel's Loophole (i2i.org)
   1 points by JumpinJack_Cash 29 days ago | discuss
4. Renaissance Slashes Mega-Cap Tech Exposure in Major Defensive Pivot (www.signalbloom.ai)
   1 points by GodelNumbering 8 days ago | discuss
5. Show HN: Realtime 13Fs and track live institutional ownership for any ticker (www.signalbloom.ai)
   1 points by GodelNumbering 18 days ago | discuss
6. The Godless Students of London University (www.historytoday.com)
   20 points by samclemens 8 days ago | 8 comments
7. Show HN: StormWatch – Weather emergency dashboard with prep checklists (jeisey.github.io)
   45 points by lotusxblack 28 days ago | 11 comments
8. Show HN: Csvdb – Git-friendly CSV directories that convert to SQLite or DuckDB (github.com)
   3 points by jeff-gorelick 17 days ago | 1 comments
9. Show HN: tmpo – Local-first CLI time tracker with automatic project detection (github.com)
   2 points by dylandevelops 17 days ago | discuss
10. Show HN: Koala Diff – High-performance local data comparison (Rust and Polars) (github.com)
    5 points by godalida 7 days ago | 1 comments
11. OpenTelemetry Logger Middleware (github.com)
    2 points by gozeloglu 21 days ago | discuss
12. The Waymo World Model (waymo.com)
    1160 points by xnx 15 days ago | 663 comments
13. Tesla ending Models S and X production (www.cnbc.com)
    566 points by keyboardJones 23 days ago | 1200 comments
14. Claude Code: connect to a local model when your quota runs out (boxc.net)
    386 points by fugu2 20 days ago | 212 comments
15. DNS-Persist-01: A New Model for DNS-Based Challenge Validation (letsencrypt.org)
    317 points by todsacerdoti 3 days ago | 160 comments
16. GLM-OCR – A multimodal OCR model for complex document understanding (github.com)
    302 points by ms7892 14 days ago | 75 comments
17. Drug trio found to block tumour resistance in pancreatic cancer in mouse models (www.drugtargetreview.com)
    271 points by axiomdata316 23 days ago | 150 comments
18. How does misalignment scale with model intelligence and task complexity? (alignment.anthropic.com)
    242 points by salkahfi 18 days ago | 79 comments
19. Experts Have World Models. LLMs Have Word Models (www.latent.space)
    238 points by aaronng91 13 days ago | 272 comments
20. Step 3.5 Flash – Open-source foundation model, supports deep reasoning at speed (static.stepfun.com)
    225 points by kristianp 2 days ago | 88 comments
21. Consistency diffusion language models: Up to 14x faster, no quality loss (www.together.ai)
    213 points by zagwdt 1 day ago | 95 comments
22. Show HN: Text-to-video model from scratch (2 brothers, 2 years, 2B params) (huggingface.co)
    158 points by schopra909 30 days ago | 24 comments
23. Launch HN: Modelence (YC S25) – App Builder with TypeScript / MongoDB Framework
    72 points by eduardpi 18 days ago | 44 comments
24. iPhone 16 Best-Selling Smartphone in 2025; Apple Takes 7 Spots in Top Models (counterpointresearch.com)
    67 points by TMWNN 22 days ago | 100 comments
25. Fei-Fei Li's World Labs raised $1B from A16Z, Nvidia to advance its world models (www.bloomberg.com)
    64 points by aanet 3 days ago | 17 comments
26. Large Language Models for Mortals: A Practical Guide for Analysts with Python (crimede-coder.com)
    58 points by apwheele 6 days ago | 16 comments
27. Building a model that visualizes strategic golf (golfcoursewiki.substack.com)
    55 points by scoofy 5 days ago | 16 comments
28. OpenAI's GPT-5.2 model cites Grokipedia (www.engadget.com)
    49 points by bhouston 27 days ago | 20 comments
29. Show HN: First Claude Code client for Ollama local models (github.com)
    44 points by SerafimKorablev 30 days ago | 27 comments
30. MDST Engine: run GGUF models in the browser with WebGPU/WASM (mdst.app)
    33 points by vmirnv 10 days ago | 12 comments