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.
- Gödel's Loophole (in the US Constitution) (en.wikipedia.org)
- Gödel's Loophole (en.wikipedia.org)
- Gdelt – A Global Database of Society (www.gdeltproject.org)
- Using GoReleaser and GitHub Actions to release Rust and Zig projects (carlosbecker.com)
- Processing of De Minimis Shipments per Executive Orders Issued Feb 1 (content.govdelivery.com)
- Privileged Access for Modern Infrastructure: Four Challenges (goteleport.com)
- Foundations of Large Language Models (arxiv.org)
- How to Train an AI Image Model on Yourself (www.coryzue.com)
- How to scale your model: A systems view of LLMs on TPUs (jax-ml.github.io)
- O1 isn't a chat model (and that's the point) (www.latent.space)
- OmniHuman-1: Human Animation Models (omnihuman-lab.github.io)
- Entropy of a Large Language Model output (nikkin.dev)
- Show HN: TabPFN v2 – A SOTA foundation model for small tabular data (www.nature.com)
- Qwen2.5-Max: Exploring the intelligence of large-scale MoE model (qwenlm.github.io)
- The Seven-Action Documentation Model (passo.uno)
- Training AI models might not need enormous data centres (www.economist.com)
- Large Language Models for Mathematicians (2023) (arxiv.org)
- Using AI to develop a fuller model of the human brain (magazine.ucsf.edu)