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. Nanopositioning Metrology, Gödel, and Bootstraps (www.pi-usa.us)
   3 points by nill0 20 days ago | discuss
2. Show HN: Is the market a Gödelian system? 400K evolution cycles later (github.com)
   1 points by garylauchina 9 days ago | 1 comments
3. Visualization of the Gödel Universe (2013) (iopscience.iop.org)
   1 points by gone35 7 days ago | discuss
4. Goedels Poetry (github.com)
   1 points by nathias about 4 hours ago | discuss
5. Show HN: The Participatory Interface Theory
   1 points by bobsh 27 days ago | 1 comments
6. Show HN: Multi langugage parser for local code comprenhension (substack.com)
   1 points by Aelune_GoDev 22 days ago | discuss
7. DeepSeek-v3.2: Pushing the frontier of open large language models [pdf] (huggingface.co)
   982 points by pretext 23 days ago | 465 comments
8. History LLMs: Models trained exclusively on pre-1913 texts (github.com)
   891 points by iamwil 6 days ago | 417 comments
9. Mistral 3 family of models released (mistral.ai)
   826 points by pember 22 days ago | 236 comments
10. A guide to local coding models (www.aiforswes.com)
    597 points by mpweiher 3 days ago | 350 comments
11. LLM from scratch, part 28 – training a base model from scratch on an RTX 3090 (www.gilesthomas.com)
    540 points by gpjt 22 days ago | 121 comments
12. It's Always TCP_NODELAY (brooker.co.za)
    476 points by eieio 2 days ago | 172 comments
13. Apple Releases Open Weights Video Model (starflow-v.github.io)
    451 points by vessenes 23 days ago | 169 comments
14. Z-Image: Powerful and highly efficient image generation model with 6B parameters (github.com)
    398 points by doener 24 days ago | 157 comments
15. DeepSeek uses banned Nvidia chips for AI model, report says (finance.yahoo.com)
    329 points by goodway 14 days ago | 316 comments
16. Elevated errors across many models (status.claude.com)
    320 points by pablo24602 10 days ago | 154 comments
17. Qwen3-Omni-Flash-2025-12-01：a next-generation native multimodal large model (qwen.ai)
    316 points by pretext 14 days ago | 106 comments
18. I fed 24 years of my blog posts to a Markov model (susam.net)
    303 points by zdw 11 days ago | 123 comments
19. Donating the Model Context Protocol and establishing the Agentic AI Foundation (www.anthropic.com)
    288 points by meetpateltech 15 days ago | 145 comments
20. Nvidia Nemotron 3 Family of Models (research.nvidia.com)
    257 points by ewt-nv 9 days ago | 59 comments
21. Kimi K2 1T model runs on 2 512GB M3 Ultras (twitter.com)
    234 points by jeudesprits 10 days ago | 121 comments
22. FunctionGemma 270M Model (blog.google)
    224 points by mariobm 6 days ago | 56 comments
23. Meta Segment Anything Model Audio (ai.meta.com)
    222 points by megaman821 8 days ago | 37 comments
24. The current state of the theory that GPL propagates to AI models (shujisado.org)
    221 points by jonymo 27 days ago | 309 comments
25. Fara-7B: An efficient agentic model for computer use (github.com)
    191 points by maxloh 28 days ago | 85 comments
26. Our New Sam Audio Model Transforms Audio Editing (about.fb.com)
    164 points by ushakov 8 days ago | 60 comments
27. NOAA deploys new generation of AI-driven global weather models (www.noaa.gov)
    158 points by hnburnsy 7 days ago | 99 comments
28. T5Gemma 2: The next generation of encoder-decoder models (blog.google)
    151 points by milomg 6 days ago | 28 comments
29. If a Meta AI model can read a brain-wide signal, why wouldn't the brain? (1393.xyz)
    140 points by rdgthree 11 days ago | 92 comments
30. TLA+ Modeling Tips (muratbuffalo.blogspot.com)
    129 points by birdculture 7 days ago | 33 comments