davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
Double Maths First Thing: Issue 2A
aperiodical.com·10h
👑Isabelle
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·1d·
Discuss: Hacker News
🇩🇪German Computing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·10h·
Discuss: DEV
📐Error Bounds
Cellular Automata as Generators of Interleaving Sequences
arxiv.org·1d
🔲Cellular Automata
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·14h
💻Local LLMs
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
A Qubit-Efficient Hybrid Quantum Encoding Mechanism for Quantum Machine Learning
arxiv.org·14h
⚛️Quantum Codes
A colorful quantum future
research.google·2d·
Discuss: Hacker News
⚛️Quantum Error Correction
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Single-function Devices in the World of the Everything Machine
chrbutler.com·1d·
Discuss: Hacker News
💾vintage computing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·14h
🌀Fractal Compression
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms