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. Book Review: Gödel, Escher, Bach (www.griffinknight.com)
   14 points by paulpauper 17 days ago | 3 comments
2. Godel Terminal – A powerful web based Bloomberg Terminal alternative (godelterminal.com)
   4 points by colesantiago 12 days ago | discuss
3. Consciousness as a Gödel sentence in the language of science (www.theintrinsicperspective.com)
   3 points by caminmccluskey 20 days ago | discuss
4. Video-ChatGPT: Towards Video Understanding via Large Vision and Language Models (arxiv.org)
   2 points by godelmachine 22 days ago | discuss
5. History of Vegetarianism (en.wikipedia.org)
   1 points by godelmachine 1 day ago | discuss
6. Maastricht and All That (1992) (www.lrb.co.uk)
   2 points by dools 18 days ago | discuss
7. What is Event Modeling? (with example) (2021) (www.goeleven.com)
   2 points by alexzeitler 24 days ago | discuss
8. OpenCoder: Open Cookbook for Top-Tier Code Large Language Models (opencoder-llm.github.io)
   619 points by pil0u 14 days ago | 77 comments
9. Niantic plans a “Large Geospatial Model” trained on Pokémon Go player data (nianticlabs.com)
   423 points by bookstore-romeo 4 days ago | 334 comments
10. Hertz-dev, the first open-source base model for conversational audio (si.inc)
    296 points by mnk47 20 days ago | 56 comments
11. All-in-one embedding model for interleaved text, images, and screenshots (blog.voyageai.com)
    262 points by fzliu 7 days ago | 31 comments
12. Quake 3 Source Code Review: Network Model (2012) (fabiensanglard.net)
    219 points by mmh0000 about 19 hours ago | 47 comments
13. Ollama 0.4 is released with support for Meta's Llama 3.2 Vision models locally (ollama.com)
    182 points by BUFU 17 days ago | 25 comments
14. LLaVA-O1: Let Vision Language Models Reason Step-by-Step (arxiv.org)
    176 points by lnyan 5 days ago | 32 comments
15. Using Large Language Models to Catch Vulnerabilities (googleprojectzero.blogspot.com)
    175 points by sigmar 22 days ago | 29 comments
16. TokenFormer: Rethinking Transformer Scaling with Tokenized Model Parameters (arxiv.org)
    174 points by og_kalu 22 days ago | 33 comments
17. Evaluating the world model implicit in a generative model (arxiv.org)
    159 points by dsubburam 17 days ago | 45 comments
18. A CC-By Open-Source TTS Model with Voice Cloning (huggingface.co)
    131 points by amrrs 19 days ago | 31 comments
19. Diffusion models are evolutionary algorithms (gonzoml.substack.com)
    126 points by che_shr_cat 14 days ago | 27 comments
20. Model Predictive Control in the Browser with WebAssembly (garethx.com)
    126 points by thunderbong 24 days ago | 18 comments
21. Meta Permits Its A.I. Models to Be Used for U.S. Military Purposes (www.nytimes.com)
    114 points by type4 19 days ago | 106 comments
22. Graph-based AI model maps the future of innovation (news.mit.edu)
    92 points by laurex 10 days ago | 36 comments
23. Large language models in national security applications (arxiv.org)
    89 points by bindidwodtj 11 days ago | 55 comments
24. State-space models can learn in-context by gradient descent (arxiv.org)
    86 points by dsalaj 29 days ago | 58 comments
25. AMD Open-Source 1B OLMo Language Models (www.amd.com)
    78 points by ebalit 22 days ago | 33 comments
26. Omnivision-968M: Vision Language Model with 9x Tokens Reduction for Edge Devices (nexa.ai)
    69 points by BUFU 9 days ago | 11 comments
27. Scalable watermarking for identifying large language model outputs (www.nature.com)
    68 points by ghshephard 23 days ago | 43 comments
28. Cerebras Trains Llama Models to Leap over GPUs (www.nextplatform.com)
    64 points by rbanffy 28 days ago | 33 comments
29. Model Distillation in the API (openai.com)
    64 points by GavCo 23 days ago | 19 comments
30. GenMC: Model checking for concurrent C programs (plv.mpi-sws.org)
    61 points by todsacerdoti 14 days ago | 3 comments