In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·14h
🔍Type Inference
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
BNFGen: A random text generator based on context-free grammars
baturin.org·54m·
Discuss: Hacker News
🌳Context free grammars
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers