#scientific computation

Tagged scientific computation · show all articles

A technician's hands are absent from frame; a wartime plugboard calculating room mid-rewire, one patch cable still hanging unplugged.

From Origins to Frontier: A History of Mathematics, Proof, and Scientific Computation

How a 1936 paper on an abstract machine, a 1950 forecast on a wartime computer, and a controversial 1976 proof of a map-coloring puzzle became the ancestry of today's formally verified mathematics.

By Brecht Corbeel · September 11, 2026 · 14 min read

Browse by Category

Surprise me →

All AI Hardware & Semiconductors 108 AI Agents & Systems 43 Foundation Models 30 Model Evaluation 23 AI Industry 22 Technological Evolution 14 AI Infrastructure 12 Evolutionary Psychology 10 Evolutionary Biology 10 Einstein & Evolution 10 Open Models 9 Edge AI & Electronics 9 AI Safety 9 AI Research 9 Evolutionary Physics 7 History of Technology 6 Semiconductors 5 Physics 5 Evolutionary Nuclear Physics 5 Datacenters 5 Chemistry 4 Biology 4 Robotics & Embodied AI 3 Invention & Engineering 3 Human Systems 3 Human History 3 Cultural Evolution 3 AI Security 3 Space Science 2 Semiconductor Markets 2 Scientific Methods 2 Neuroscience 2 Materials Science 2 Industry Analysis 2 Humanity & Technology 2 Human Evolution 2 Future Studies 2 Datacenters & Infrastructure 2 Astronomy & Cosmology 2 Astrobiology 2 Writing & Information 1 Technology & Society 1 Structural Biology 1 Small & Edge Models 1 Security & Technology 1 Security 1 Scientific Revolution 1 Quantum Information 1 Quantum Foundations 1 Quantum Biology 1 Policy & Regulation 1 Pokémon Economics 1 Planetary Science 1 Particle Physics 1 Origins & Astrobiology 1 Open-Weight Models 1 Metrology 1 Mathematics & Computation 1 Mathematics 1 Labour & Technology 1 Interpretability 1 Institutions & State Capacity 1 Institutions & Governance 1 Institutions & Economy 1 Inference Economics 1 Industrial Revolutions 1 History of Science 1 History of Computing 1 Governance & Policy 1 Future of Work 1 Evolutionary Economics 1 Evolution as Mechanism 1 Evolution & Ecology 1 Ethics of Technology 1 Ethics & Governance 1 Energy & Civilization 1 Economic History 1 Earth & Climate 1 Demography & Urbanization 1 Data & Training 1 Cumulative Culture 1 Cosmology 1 Condensed Matter 1 Chemistry & Catalysis 1 Alignment & Safety 1 Agriculture & Cities 1 Agent Evaluation 1 AI for Science 1 AI Economics & Systems 1 AI & The Web 1