Proof Rules for MetaSMT
philipzucker.com·22h
🧮Z3 Solver
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·14h
🌳Trie Structures
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·10h
🧮Kolmogorov Bounds
Identity Types
bartoszmilewski.com·9h·
Discuss: Hacker News
🔤Type Theory
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·16h·
Discuss: DEV
📝Concrete Syntax
Creating a database of motivated proofs
gowers.wordpress.com·53m
🎯Performance Proofs
X Design Notes: Pattern Matching II
blog.polybdenum.com·23h
💻Programming languages
Biconnected components
emi-h.com·23h·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Cactus Language • Mechanics 2
inquiryintoinquiry.com·6h
🔲Cellular Automata
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·8h·
Discuss: DEV
⚔️Lean Tactics
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·3h
🏗️Compiler Archaeology
The Cardinality of an Interval
youtube.com·19h
🏗️Constructive Mathematics
NZ-based AI system to predict the future
aardvark.co.nz·5h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
🚀Compiler Optimizations
The Networking Event (#4 in The itertools Series • `combinations()` and `permutations()`)
thepythoncodingstack.com·1d
🔗Concatenative Languages
Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
arxiv.org·18h
🔗Monadic Parsing
Built a database in Rust and got 1000x the performance of Neo4j
reddit.com·2d·
Discuss: r/rust
🕸️Neo4j
MIT affiliates win AI for Math grants to accelerate mathematical discovery
news.mit.edu·3h
🧮Theorem Proving
I Spent Three Nights Solving Listen Labs Berghain Challenge (and Got #16)
kuber.studio·1d·
Discuss: Hacker News
🎯Performance Proofs
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🔨Compilers