Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·9h
🗃️Database Storage
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.org·40m·
Discuss: Hacker News
🌳Context free grammars
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·10h·
Discuss: DEV
📐Error Bounds
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·2h
👁️System Observability
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Debugging memory leaks in Postgres, jemalloc edition
enterprisedb.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Using PhantomData and Zero-Sized Types
dev.to·3h·
Discuss: DEV
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750506908117500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding