🧮 Theoretical Computer Science - matmat · Scour

A Unifying Framework for Doubling Algorithms

arxiv.org·14h

🎯Performance Proofs

Free(): Learning to Forget in Malloc-Only Reasoning Models

arxiv.org·14h

🏷️Memory Tagging

"Weirder than Bill Gates and Steve Wozniak put together": Japan's answer to Steve Jobs predicted personified computers, smartphones and AI in 1984 through a six...

techradar.com

·4d

🇯🇵Japanese Computing

What Ultimately Is There? <br>Metaphysics and the Ruliad

writings.stephenwolfram.com·5d

⏰Time Crystals

The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by Yann LeCun about human language)

statmodeling.stat.columbia.edu·4d

🔲Cellular Automata

GTK hackfest, 2026 edition

blogs.gnome.org·4d

🔩Systems Programming

Hello World: Algorithmic Trading & DeFi Logic

dev.to·2d·

Discuss: DEV

⚔️Lean Tactics

The Weather-Report Lie: AI Isn’t Fate

hackernoon.com·4d

🔲Cellular Automata

hack.org·3d

🔓Open Source Software

Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality

nature.com·3d

⚛️Quantum Channels

Software Architecture and Philosophical Anthropology

michaelmangialardi.substack.com·4d·

Discuss: Substack

LLMs Are Prediction Machines

kaelandt.github.io·2d·

Discuss: Hacker News

🧮Kolmogorov Bounds

Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)

neutree.ai·4d·

Discuss: Hacker News

B+-Tree Structure: How Order Is Maintained at Scale

dev.to·2d·

Discuss: DEV

🌳B+ Tree Splits

V.I. Arnold, On teaching mathematics

karlin.mff.cuni.cz·3d·

Discuss: Hacker News

📐Mathematical Art

Nobody knows how the whole system works

surfingcomplexity.blog·1d·

Discuss: Lobsters, Hacker News, r/programming

🧲Magnetic Philosophy

Agentic Proof-Oriented Programming

risemsr.github.io·5d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Private Data Space Model

privatedata.space·5d

✅Format Verification

Tech Things: Moltbook isn’t real but it can still hurt you

12gramsofcarbon.com·3d·

Discuss: Hacker News

⚖️Emulation Ethics

The Timeline for Replacing Theorists Is Not Technological

4gravitons.com·4d

⚙️Proof Engineering

Loading more...