Travels, 10
cameroncounts.wordpress.com·8h
🎯Performance Proofs
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·3h·
Discuss: DEV
🛠Language Design
ACID in Databases: What It Really Means (with Real-Life Bank Scenarios in the USA & Germany)
dev.to·5h·
Discuss: DEV
📝SQLite WAL
Containers are available in public beta for simple, and programmable compute
blog.cloudflare.com·1d·
Discuss: Hacker News
📦Container Security
The collective waste caused by poor documentation
shanrauf.com·21h·
Discuss: Hacker News
📦Deflate
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·5d·
Discuss: Hacker News
🌳Archive Merkle Trees
Memory Safety in Web Rust System Zero Cost Secure（1750506908117500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750491469901500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Is this the Go way, or am I writing cursed code on purpose?
reddit.com·1d·
Discuss: r/golang
🔧KAITAI
Build It Clean: Large-Scale Detection of Code Smells in Build Scripts
arxiv.org·1d
🔗Topological Sorting
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+