derived set
ncatlab.org·3h
🧮Algebraic Archives
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·5d
🔗Functional Compilers
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
🔢Bitwise Algorithms
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
BNFGen: A random text generator based on context-free grammars
baturin.org·48m·
Discuss: Hacker News
🌳Context free grammars
LeetCode 2040 Beginner friendly explanation
dev.to·18h·
Discuss: DEV
🧮Kolmogorov Complexity