Lobste.rs Links

Posted on 2001-03-25

Having your compile-time cake and eating it too , Lobste.rs Discussion
What Works (and Doesn't) Selling Formal Methods , Lobste.rs Discussion
How I used o3 to find CVE-2025-37899, a remote zeroday vulnerability in the Linux kernel’s SMB implementation , Lobste.rs Discussion
Domain Theory Lecture Notes , Lobste.rs Discussion
The Illusion of Thinking , Lobste.rs Discussion
Agentic Coding Recommendations , Lobste.rs Discussion
What I talk about when I talk about IRs , Lobste.rs Discussion
Compiler Explorer Cost Transparency , Lobste.rs Discussion
Compiler Explorer and the Promise of URLs That Last Forever , Lobste.rs Discussion
Writing a Verified Postfix Calculator in Ada/SPARK , Lobste.rs Discussion
Type-based vs Value-based Reflection , Lobste.rs Discussion
Introducing facet: Reflection for Rust , Lobste.rs Discussion
jemalloc Postmortem , Lobste.rs Discussion
Raku's "core" , Lobste.rs Discussion
OxCaml, Jane Street's extension of OCaml is now open-source , Lobste.rs Discussion
Datalog in Rust , Lobste.rs Discussion
strace tips for better debugging , Lobste.rs Discussion
Implementing Logic Programming , Lobste.rs Discussion
A meta-analysis of three different notions of software complexity , Lobste.rs Discussion
StarMalloc: verified memory allocator , Lobste.rs Discussion
The Zed Debugger is Here , Lobste.rs Discussion
What Would a Kubernetes 2.0 Look Like , Lobste.rs Discussion
I wrote my PhD Thesis in Typst , Lobste.rs Discussion
Discover C++26’s compile-time reflection , Lobste.rs Discussion
Gemini CLI: your open-source AI agent , Lobste.rs Discussion
How fast are Linux pipes anyway? (2022) , Lobste.rs Discussion
Fixing Letrec (Reloaded) , Lobste.rs Discussion
To Bind and Loose a Reference (2020) , Lobste.rs Discussion
How to Grow an LSM-tree? Towards Bridging the Gap Between Theory and Practice , Lobste.rs Discussion
Subtype Inference by Example , Lobste.rs Discussion
Interfacing MCP with Combinatorial, Convex, and SMT Solvers , Lobste.rs Discussion
Zero-Cost 'Tagless Final' in Rust with GADT-style Enums , Lobste.rs Discussion
What's higher-order about so-called higher-order references? , Lobste.rs Discussion
Uniqueness for Behavioural Types , Lobste.rs Discussion
Handling bidirectional control flow , Lobste.rs Discussion
How Compiler Explorer Works in 2025 , Lobste.rs Discussion
AI Changes Everything , Lobste.rs Discussion
I Think I’m Done Thinking About genAI For Now , Lobste.rs Discussion
AI is a gamechanger for TLA+ users , Lobste.rs Discussion
A programming system , Lobste.rs Discussion
In which I have Opinions about parsing and grammars , Lobste.rs Discussion
Linearity and uniqueness , Lobste.rs Discussion
APLearn: machine learning library , Lobste.rs Discussion
Jepsen: TigerBeetle 0.16.11 , Lobste.rs Discussion
Just fucking code , Lobste.rs Discussion
How can one write blazing fast yet useful compilers (for lazy pure functional languages)? , Lobste.rs Discussion
I Read All Of Cloudflare's Claude-Generated Commits , Lobste.rs Discussion
How I program with Agents , Lobste.rs Discussion
The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity , Lobste.rs Discussion
Patterns for failure-free, bounded-space, and bounded-time programming , Lobste.rs Discussion
Zig-style generics are not well-suited for most languages (2022) , Lobste.rs Discussion
Why doesn’t Rust care more about compiler performance? , Lobste.rs Discussion
GenAI Criticism and Moral Quandaries , Lobste.rs Discussion
container: tool for creating and running Linux containers using lightweight virtual machines on a Mac , Lobste.rs Discussion
WebAssembly Troubles part 4: Microwasm (2019) , Lobste.rs Discussion
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development , Lobste.rs Discussion
"Why is the Rust compiler so slow?" , Lobste.rs Discussion
Box combinators , Lobste.rs Discussion
Weird expressions in rust , Lobste.rs Discussion
Notes on type inference and polymorphism , Lobste.rs Discussion
How much code does that proc macro generate? , Lobste.rs Discussion
Reflecting JSON into C++ Objects at compile time , Lobste.rs Discussion
Solving UK Passport Application with Haskell , Lobste.rs Discussion
Inequality Union Finds: Baby Steps to Refinement E-graphs , Lobste.rs Discussion
Programming as Theory Building , Lobste.rs Discussion
Tree-Structured Concurrency II: Replacing Background Tasks With Actors , Lobste.rs Discussion
Parsing Layout, or: Haskell's Syntax is a Mess , Lobste.rs Discussion
Awesome Emacs on macOS , Lobste.rs Discussion
Just make it scale: An Aurora DSQL story , Lobste.rs Discussion
MCP explained without hype or fluff , Lobste.rs Discussion
Async Traits Can Be Directly Backed By Manual Future Impls , Lobste.rs Discussion
Type-level Bounded Recursion in Rust , Lobste.rs Discussion
Large Language Models can run tools in your terminal with LLM 0.26 , Lobste.rs Discussion
A break from programming languages , Lobste.rs Discussion
Systems Correctness Practices at Amazon Web Services , Lobste.rs Discussion
I am disappointed in the AI discourse , Lobste.rs Discussion
parking_lot: ffffffffffffffff , Lobste.rs Discussion
Tools built on tree-sitter's concrete syntax trees , Lobste.rs Discussion
Types of Types: Common to Exotic , Lobste.rs Discussion
Reflections on Haskell and Rust , Lobste.rs Discussion
Tools: Code Is All You Need , Lobste.rs Discussion
The scary and surprisingly deep rabbit hole of Rust's temporaries , Lobste.rs Discussion
The Tree Borrows paper is finally published , Lobste.rs Discussion
WebAssembly: Yes, but for What? , Lobste.rs Discussion
Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods , Lobste.rs Discussion
The case against which-key: a polemic , Lobste.rs Discussion
Deterministic Simulation Testing in Rust: A Theater Of State Machines , Lobste.rs Discussion
“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode , Lobste.rs Discussion
Unified Memory Management , Lobste.rs Discussion
Variadic Generics ideas that won’t work for Rust , Lobste.rs Discussion
MicroHs, a tiny Haskell Compiler , Lobste.rs Discussion
(Quite) A Few Words About Async , Lobste.rs Discussion
Programming Language Theory has a public relations problem , Lobste.rs Discussion
Zig's New Async I/O , Lobste.rs Discussion
detour: A detour through the Linux dynamic linker , Lobste.rs Discussion
constrained languages are easier to optimize , Lobste.rs Discussion
Hacking coroutines into C , Lobste.rs Discussion
Store tags after payloads , Lobste.rs Discussion
Row Polymorphic Programming , Lobste.rs Discussion
Binding Application in Idris , Lobste.rs Discussion
Automerge 3.0 , Lobste.rs Discussion
A distributed systems reliability glossary , Lobste.rs Discussion
"Bypassing" specialization in Rust or How I Learned to Stop Worrying and Love Function Pointers , Lobste.rs Discussion
A Rust shaped hole , Lobste.rs Discussion
Designing Kotlin Beyond Type Inference , Lobste.rs Discussion
My favorite use-case for AI is writing logs , Lobste.rs Discussion
How bad are search results? Let's compare Google, Bing, Marginalia, Kagi, Mwmbl, and ChatGPT , Lobste.rs Discussion
Some notes on using nix , Lobste.rs Discussion
What are temporal and spatial memory safety? , Lobste.rs Discussion
Demystifying monads in Rust through property-based testing , Lobste.rs Discussion
Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more , Lobste.rs Discussion
Five Kinds of Nondeterminism , Lobste.rs Discussion
Towards A Simple and Expressive Query Language , Lobste.rs Discussion
Neut Programming Language , Lobste.rs Discussion
My go-to C++ code for asynchronous work processing on a separate thread , Lobste.rs Discussion
Carbon Copy Newsletter No.5 , Lobste.rs Discussion
Garbage Collected Smart Pointers in Rust via Concurrent Cycle Collection , Lobste.rs Discussion
Firefox has surpassed Chrome on Speedometer , Lobste.rs Discussion
So you want to be a proof engineer? , Lobste.rs Discussion
The E-graph extraction problem is NP-complete , Lobste.rs Discussion
CCDetect-lsp: Language-agnostic real-time duplicate code detection LSP server , Lobste.rs Discussion
The Hunt for the Missing Data Type , Lobste.rs Discussion
JVM/Java: Null-Restricted and Nullable Types , Lobste.rs Discussion
What conferences are you all looking forward to? , Lobste.rs Discussion
The gen auto-trait problem , Lobste.rs Discussion
Vine: A programming language based on Interaction Nets , Lobste.rs Discussion
Investigating a Strange Out-of-Memory Error , Lobste.rs Discussion
Fenwick Trees are Awesome , Lobste.rs Discussion
Why Checked Exceptions Failed , Lobste.rs Discussion
Mapping High Level Constructs to LLVM IR , Lobste.rs Discussion
So You Want To Build A Browser Engine , Lobste.rs Discussion
Fun Friday: what got you into programming? , Lobste.rs Discussion
Lamport clocks , Lobste.rs Discussion
Semgrep: a static analysis journey , Lobste.rs Discussion
Generalized Autoref-Based Specialization (2019) , Lobste.rs Discussion
Whither CockroachDB? , Lobste.rs Discussion
Beyond Ctrl-C: The dark corners of Unix signal handling , Lobste.rs Discussion
Shell History Is Your Best Productivity Tool , Lobste.rs Discussion
More Software Projects need Defenses of Design , Lobste.rs Discussion
A quick look at destination-driven code generation , Lobste.rs Discussion
Why Split Lexing and Parsing Into Two Separate Phases? , Lobste.rs Discussion
Small VMs & Coroutines , Lobste.rs Discussion
Ownership , Lobste.rs Discussion
Fish 4.0: The Fish Of Theseus , Lobste.rs Discussion
How Multi-User Dungeons Taught Me To Code , Lobste.rs Discussion
requiem for a stringref , Lobste.rs Discussion
Thinking about functional programming , Lobste.rs Discussion
Stuff I learnt in 2022 , Lobste.rs Discussion
Debugging a rustc segfault on illumos , Lobste.rs Discussion
Bytecode VMs in surprising places , Lobste.rs Discussion
Cheating is All You Need , Lobste.rs Discussion
I made a multi-language programmable linter , Lobste.rs Discussion
Async Rust Is A Bad Language , Lobste.rs Discussion
What Goes Around Comes Around... And Around , Lobste.rs Discussion
Contributing to OCaml: Collective maintenance , Lobste.rs Discussion
Properly Testing Concurrent Data Structures , Lobste.rs Discussion
Will it block? , Lobste.rs Discussion
Distributed Systems Programming Has Stalled , Lobste.rs Discussion
Building Query Compilers , Lobste.rs Discussion
A Mechanically Verified Garbage Collector for OCaml , Lobste.rs Discussion
Our optimizers need a rethink , Lobste.rs Discussion
What’s in an e-graph? , Lobste.rs Discussion
A Distributed Systems Reading List , Lobste.rs Discussion
Making OCaml Safe for Performance Engineering , Lobste.rs Discussion
Designing a Distributed SQL Engine: Challenges and Decisions , Lobste.rs Discussion
Formal Methods: Just Good Engineering Practice? , Lobste.rs Discussion
Fast LLM Inference From Scratch , Lobste.rs Discussion
Memory Order in C++ (2022) , Lobste.rs Discussion
My spiciest take on tech hiring , Lobste.rs Discussion
Data Replication Design Spectrum , Lobste.rs Discussion
The algebra (and calculus!) of algebraic data types , Lobste.rs Discussion
Types comparison: Rust -> Zig , Lobste.rs Discussion
The World's Simplest Lock-Free Hash Table (2013) , Lobste.rs Discussion
Kalyn: a self-hosting compiler for x86-64 , Lobste.rs Discussion
Pinned places , Lobste.rs Discussion
On "Safe" C++ , Lobste.rs Discussion
Pin , Lobste.rs Discussion
Address Sanitizer Internals , Lobste.rs Discussion
Copy Hunting , Lobste.rs Discussion
What's the big deal about Deterministic Simulation Testing? , Lobste.rs Discussion
Why choose async/await over threads? , Lobste.rs Discussion
On Recursion, Continuations and Trampolines , Lobste.rs Discussion
In 2024, please switch to Firefox , Lobste.rs Discussion
Challenging projects every programmer should try (2019) , Lobste.rs Discussion
Why Test? , Lobste.rs Discussion
Type system of the React compiler , Lobste.rs Discussion
The looming demise of the 10x developer , Lobste.rs Discussion
The path to implementing a programming language , Lobste.rs Discussion
Big Datatype: why code tools like to be written with fancy types , Lobste.rs Discussion
A Fascinating Diversion into Compression , Lobste.rs Discussion
Encoding ML-style modules in Rust , Lobste.rs Discussion
Async/Await Is Real And Can Hurt You , Lobste.rs Discussion
Memory Safe C++ , Lobste.rs Discussion
An opinion on what's a good general-purpose programming language , Lobste.rs Discussion
Database Fundamentals , Lobste.rs Discussion
How Capabilities Work in Austral , Lobste.rs Discussion
Java is becoming more like Rust, and I am here for it , Lobste.rs Discussion
Nix is a build system , Lobste.rs Discussion
Implementing Raft: Part 5 - Exactly-once delivery , Lobste.rs Discussion
Turing Machines , Lobste.rs Discussion
Building Bridges to C++ , Lobste.rs Discussion
A close encounter with false sharing , Lobste.rs Discussion
You Could Have Invented Normalization-by-Evaluation , Lobste.rs Discussion
Rust's Most Subtle Syntax , Lobste.rs Discussion
C++ programmer′s guide to undefined behavior: part 8 of 11 , Lobste.rs Discussion
MinPin: yet another pin proposal , Lobste.rs Discussion
Principles of Dependent Type Theory , Lobste.rs Discussion
Why I love Rust for tokenising and parsing , Lobste.rs Discussion
How We Built a Self-Healing System to Survive a Terrifying Concurrency Bug At Netflix , Lobste.rs Discussion
determination: Rust typecheckers for System F and System F-omega , Lobste.rs Discussion
Functors to Monads: A Story of Shapes , Lobste.rs Discussion
Non-Send Futures When? , Lobste.rs Discussion
Some tricks from the Scrapscript compiler , Lobste.rs Discussion
Maybe Everything Is a Coroutine , Lobste.rs Discussion
What is a Query Optimizer for? , Lobste.rs Discussion
An intuition for distributed consensus in OLTP systems , Lobste.rs Discussion
Towards zero-downtime upgrades of stateful systems , Lobste.rs Discussion
The e-graph data structure: a gradual introduction , Lobste.rs Discussion
Async Rust can be a pleasure to work with (without Send + Sync + 'static) , Lobste.rs Discussion
C and C++ Prioritize Performance over Correctness , Lobste.rs Discussion
What are your favourite pieces of software? , Lobste.rs Discussion
A Grand Unified Theory of the AI Hype Cycle , Lobste.rs Discussion
What is the reason for the /a /b prefixes of git diff? , Lobste.rs Discussion
What is the best pointer tagging method? , Lobste.rs Discussion
A CAP tradeoff in the wild , Lobste.rs Discussion
Emacs From Scratch, Part 1: Foundations , Lobste.rs Discussion
Threads with WebAssembly , Lobste.rs Discussion
2025: The Year of 1,000 DataFusion-Based Systems , Lobste.rs Discussion
Postgres sequences can commit out-of-order , Lobste.rs Discussion
What’s so hard about constexpr allocation? , Lobste.rs Discussion
Elixir type system updates moving from research into development , Lobste.rs Discussion
More thoughts on claiming , Lobste.rs Discussion
More use of Rust is inevitable in open source software , Lobste.rs Discussion
Build faster with Buck2: Our open source build system , Lobste.rs Discussion
The Inside Story of ClickHouse (9): How to Perform Aggregation , Lobste.rs Discussion
Some notes on Rust, mutable aliasing and formal verification , Lobste.rs Discussion
Go's concurrency in a dynamic language Rye , Lobste.rs Discussion
Techniques for Safe Garbage Collection in Rust , Lobste.rs Discussion
How Cache Memory Works , Lobste.rs Discussion
Trustfall , Lobste.rs Discussion
Why Trees Without Branches Grow Faster: The Case for Reducing Branches in Code , Lobste.rs Discussion
Parametric Subtyping for Structural Parametric Polymorphism , Lobste.rs Discussion
Pointers Are Complicated II, or: We need better language specs (2020) , Lobste.rs Discussion
How Jane Street accidentally built a better build system for OCaml , Lobste.rs Discussion
Preview crates , Lobste.rs Discussion
Adding garbage collection to our Rust-based interpreters with MMTk , Lobste.rs Discussion
Introducing Werk , Lobste.rs Discussion
Perf is not enough , Lobste.rs Discussion
Abstract interpretation in the Toy Optimizer , Lobste.rs Discussion
Compiler Development: Rust or OCaml? , Lobste.rs Discussion
What is your Mac OS Setup? , Lobste.rs Discussion
Compare the Assembly Generated for Static vs Dynamic Dispatch in Rust , Lobste.rs Discussion
Damas-Hindley-Milner inference two ways , Lobste.rs Discussion
Safety in Programming Languages is a Means to an End , Lobste.rs Discussion
What software do you dream about, but do not have time to code yourself? , Lobste.rs Discussion
Notes on Type Layouts and ABIs in Rust (2018) , Lobste.rs Discussion
Pinning Down "Future Is Not Send" Errors , Lobste.rs Discussion
clr: Checker for Lifetimes and other Refinement types , Lobste.rs Discussion
A compiler IR for Scrapscript , Lobste.rs Discussion
Decorator JITs - Python as a DSL , Lobste.rs Discussion
Cooperative multitasking in Rust , Lobste.rs Discussion
Zig's Comptime is Bonkers Good , Lobste.rs Discussion
The Three Projections of Doctor Futamura (2009) , Lobste.rs Discussion
The inevitability of the borrow checker , Lobste.rs Discussion
baffled by generational garbage collection , Lobste.rs Discussion
Carbon is not a programming language (sort of) , Lobste.rs Discussion
LRGrep: Selecting Error Messages for LR parsers , Lobste.rs Discussion
LocalStorage vs. IndexedDB vs. Cookies vs. OPFS vs. WASM-SQLite , Lobste.rs Discussion
So you're writing a programming language , Lobste.rs Discussion
They all use it , Lobste.rs Discussion
How I run my servers , Lobste.rs Discussion
bfs 3.0: the fastest find yet , Lobste.rs Discussion
The Seamstress Event Loop In Zig , Lobste.rs Discussion
Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness , Lobste.rs Discussion
whippet: towards a new local maximum , Lobste.rs Discussion
Place expressions and value expressions in Rust , Lobste.rs Discussion
Enabling seamless interop between Rust and other languages , Lobste.rs Discussion
C++/Rust Interoperability Problem Statement , Lobste.rs Discussion
The legend of "x86 CPUs decode instructions into RISC form internally" , Lobste.rs Discussion
Ergonomic Self-Referential Types for Rust , Lobste.rs Discussion
So you think you want to write a deterministic hypervisor? , Lobste.rs Discussion
Land ahoy: leaving the Sea of Nodes , Lobste.rs Discussion
Bringing Record and Replay everywhere , Lobste.rs Discussion
Typst as a Language , Lobste.rs Discussion
Tree Calculus , Lobste.rs Discussion
What are your favorite non-standard CLI utilities/applications , Lobste.rs Discussion
Weak references and garbage collectors , Lobste.rs Discussion
Zig May Pass Anything By Reference , Lobste.rs Discussion
Faster compilation with the parallel front-end in nightly , Lobste.rs Discussion
What is the type of Type? , Lobste.rs Discussion
Thinking like a compiler: places and values in Rust , Lobste.rs Discussion
Composable SQL , Lobste.rs Discussion
How fast is your shell? , Lobste.rs Discussion
A 2024 Discussion Whether To Convert The Linux Kernel From C To Modern C++ , Lobste.rs Discussion
Typst 0.12 is just ... better , Lobste.rs Discussion
First-Class Modules and Modular Implicits in OCaml (2017) , Lobste.rs Discussion
Lezer , Lobste.rs Discussion
Rust needs an official specification , Lobste.rs Discussion
Analyzing the codebase of Caffeine: a high performance caching library , Lobste.rs Discussion
SICP in Emacs , Lobste.rs Discussion
breakelse: When Compiler Developers Get Bored , Lobste.rs Discussion
"Where have all the hackers gone?" + a way to discuss programming languages , Lobste.rs Discussion
The life and times of an Abstract Syntax Tree , Lobste.rs Discussion
Rust std fs slower than Python!? No, it's hardware , Lobste.rs Discussion
How conditional breakpoints work , Lobste.rs Discussion
How JIT Compilers are Implemented and Fast: Pypy, LuaJIT, Graal and More , Lobste.rs Discussion
A response to 'A decade of developing a programming language' , Lobste.rs Discussion
Functional Semantics in Imperative Clothing , Lobste.rs Discussion
Compilation of JavaScript to Wasm, part 3: Partial evaluation , Lobste.rs Discussion
RustRover Is Released and Includes a Free Non-Commercial Option , Lobste.rs Discussion
Who Killed the Network Switch? A Hubris Bug Story , Lobste.rs Discussion
Usb-C and its overengineered history , Lobste.rs Discussion
BTrees, Inverted Indices, and a Model for Full Text Search , Lobste.rs Discussion
Async from scratch 1: What's in a Future, anyway? , Lobste.rs Discussion
facet: Rust reflection, serialization, deserialization — know the shape of your types , Lobste.rs Discussion
Why is Snapshot Isolation not enough? , Lobste.rs Discussion
How to Sync Anything , Lobste.rs Discussion
React for Two Computers , Lobste.rs Discussion
"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra , Lobste.rs Discussion
Erlang’s not about lightweight processes and message passing… , Lobste.rs Discussion
FuturesUnordered and the order of futures , Lobste.rs Discussion
Flambda2 Ep. 2: Loopifying Tail-Recursive Functions , Lobste.rs Discussion
A decade of developing a programming language , Lobste.rs Discussion
We have proved "BB(5) = 47,176,870" , Lobste.rs Discussion
What I Learned Building a CLI App in Rust , Lobste.rs Discussion
NP-Complete isn't (always) Hard , Lobste.rs Discussion
A curiously recurring lifetime issue , Lobste.rs Discussion
Good theory books you would recommend? , Lobste.rs Discussion
Flambda2 Ep. 3: Speculative Inlining , Lobste.rs Discussion
The missing tier for query compilers , Lobste.rs Discussion
Derivative grammars: a symbolic approach to parsing with derivatives , Lobste.rs Discussion
Async Rust , Lobste.rs Discussion
On Learning Compilers and Creating Programming Languages , Lobste.rs Discussion
Haskell: A Great Procedural Language , Lobste.rs Discussion
Why Swift's type checker is slow , Lobste.rs Discussion
An Intro to DeepSeek's Distributed File System , Lobste.rs Discussion
Two Years of Rust , Lobste.rs Discussion
Atomicless Concurrency (2023) , Lobste.rs Discussion
Flambda2 Ep. 4: How to write a purely functional compiler , Lobste.rs Discussion
Async from scratch 2: Wake me maybe , Lobste.rs Discussion
Decomposing Transactional Systems , Lobste.rs Discussion
15,000 lines of verified cryptography now in Python , Lobste.rs Discussion
falsify: Hypothesis-inspired shrinking for Haskell , Lobste.rs Discussion
A Survey Of System Languages (2024) , Lobste.rs Discussion
All my favorite tracing tools: eBPF, QEMU, Perfetto, new ones I built and more , Lobste.rs Discussion
Async Rust is about concurrency, not (just) performance , Lobste.rs Discussion
How decentralized is Bluesky really? , Lobste.rs Discussion
How Designing Carbon C++ Interop Taught me About C++ Variadics & Bound Members , Lobste.rs Discussion
Why is std::pin::Pin so weird? , Lobste.rs Discussion
Improving the approachability of data-race safety , Lobste.rs Discussion
The most elegant search data structure | (a,b)-trees , Lobste.rs Discussion
Visions of the future: formal verification in Rust , Lobste.rs Discussion
Too dangerous for C++ , Lobste.rs Discussion
The last 5 years of V8's garbage collector , Lobste.rs Discussion
Compiling higher order functions with GADTs , Lobste.rs Discussion
My Kind of REPL , Lobste.rs Discussion
How do databases execute expressions? , Lobste.rs Discussion
What is PID 0? , Lobste.rs Discussion
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) , Lobste.rs Discussion
Introducing: Zero to Nix , Lobste.rs Discussion
My thoughts on OCaml , Lobste.rs Discussion
On Tech Debt: My Rust Library is now a CDO , Lobste.rs Discussion
LSP: the good, the bad, and the ugly , Lobste.rs Discussion
Things Zig comptime Won't Do , Lobste.rs Discussion
Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact , Lobste.rs Discussion
Zed Decoded: Linux when? , Lobste.rs Discussion
Okay, fine, I'm using a static site generator now , Lobste.rs Discussion
Was Rust Worth It For Us? , Lobste.rs Discussion
TigerBeetle Architecture , Lobste.rs Discussion
Generics and Typeclasses in Knuckledragger , Lobste.rs Discussion
Claiming, auto and otherwise , Lobste.rs Discussion
Modular Borrowing Without Ownership or Linear Types , Lobste.rs Discussion
Adding row polymorphism to Damas-Hindley-Milner , Lobste.rs Discussion
Unsafe Rust Is Harder Than C , Lobste.rs Discussion
Generators with UnpinCell , Lobste.rs Discussion
The most ugly trick in Rust language , Lobste.rs Discussion
HYTRADBOI 2025 postmortem , Lobste.rs Discussion
Answer Set Programming 01 | Just the Facts , Lobste.rs Discussion
Algebraic effects are a functional approach to manage side effects , Lobste.rs Discussion
Distributed Systems without Raft (part 1) , Lobste.rs Discussion
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods , Lobste.rs Discussion
Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types , Lobste.rs Discussion
Career advice for young system programmers , Lobste.rs Discussion
Some Programming Language Ideas , Lobste.rs Discussion
TigerBeetle on The Primeagen , Lobste.rs Discussion
Dada, an experiement by the creators of Rust , Lobste.rs Discussion
An alternative idea for a typed language living alongside/inside JavaScript , Lobste.rs Discussion
An epic treatise on error models for systems programming languages , Lobste.rs Discussion
Databases are not Compilers , Lobste.rs Discussion
Fixing the Next 10,000 Aliasing Bugs , Lobste.rs Discussion
Garbage Collection for Systems Programmers , Lobste.rs Discussion
Native Implementation of Mutable Value Semantics , Lobste.rs Discussion
Losing the Faith on Testing , Lobste.rs Discussion
Rust in 2025: Targeting foundational software , Lobste.rs Discussion
Functional vs Data-Driven development: a Case-Study in Clojure & OCaml , Lobste.rs Discussion
FIFO queues are all you need for cache eviction , Lobste.rs Discussion
A few programming language features I’d like to see , Lobste.rs Discussion
ARC: A Self-Tuning, Low Overhead Replacement Cache , Lobste.rs Discussion
Perspectives from the Technical University of Munich , Lobste.rs Discussion
The Art of Formatting Code , Lobste.rs Discussion
Representing type lattices compactly , Lobste.rs Discussion
Inspecting rustc LLVM optimization remarks using cargo-remark , Lobste.rs Discussion
An Introduction to TLA+ and Its Use in Parties , Lobste.rs Discussion
MDN Curriculum , Lobste.rs Discussion
The seven programming ur-languages , Lobste.rs Discussion
Faster virtual machines: Speeding up programming language execution , Lobste.rs Discussion
Verifying Selection Sort: an Introduction to Program Verification in Dafny , Lobste.rs Discussion
Go internals: invariance and memory layout of slices (2021) , Lobste.rs Discussion
Demystifying Pratt Parsers , Lobste.rs Discussion
did u ever read so hard u accidentally wrote? , Lobste.rs Discussion
snmalloc: Message passing based allocator , Lobste.rs Discussion
Hacking on PostgreSQL is really hard , Lobste.rs Discussion
Language interop and the extensible compiler , Lobste.rs Discussion
Does unsafe undermine Rust's guarantees? , Lobste.rs Discussion
Faster interpreters in Go: Catching up with C++ , Lobste.rs Discussion
Why is Prettier rock solid? , Lobste.rs Discussion
Semantics and Scheduling for Machine Knitting Compilers , Lobste.rs Discussion
I'm a programmer and I'm stupid , Lobste.rs Discussion
Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming , Lobste.rs Discussion
Type Inference in Rust and C++ , Lobste.rs Discussion
ACTORS: A Model of Concurrent Computation in Distributed Systems (1985) , Lobste.rs Discussion
CakeML , Lobste.rs Discussion
Squeezing a Little More Performance Out of Bytecode Interpreters , Lobste.rs Discussion
The CAP Theorem is Irrelevant for Cloud Systems , Lobste.rs Discussion
Verse Language Reference , Lobste.rs Discussion
Link-time optimisation (LTO) , Lobste.rs Discussion
Asynchronous clean-up [in Rust] , Lobste.rs Discussion
A Lambda Calculus With Coroutines and Heapless, Directly-Called Closures , Lobste.rs Discussion
The Structure of a Programming Language Revolution (2012) , Lobste.rs Discussion
Type Tailoring , Lobste.rs Discussion
A Mathematical Model of Package Management Systems , Lobste.rs Discussion
When static types make your code shorter , Lobste.rs Discussion
Improving Your Zig Language Server Experience , Lobste.rs Discussion
How to stop Linux threads cleanly , Lobste.rs Discussion
Threads and Goroutines , Lobste.rs Discussion
Coroutines and effects , Lobste.rs Discussion
Somehow AutoHotKey is kinda good now , Lobste.rs Discussion
The Wizardry Frontier , Lobste.rs Discussion
Building a search engine from scratch, in Rust: part 1 , Lobste.rs Discussion
Learn CSS Layout The Pedantic Way , Lobste.rs Discussion
Data demand some damn respect , Lobste.rs Discussion
Things that go wrong with disk IO , Lobste.rs Discussion
Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko , Lobste.rs Discussion
Simple Datalog engine in Rust (2018) , Lobste.rs Discussion
Rust Any part 3: Finally we have upcasts , Lobste.rs Discussion
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection , Lobste.rs Discussion
CPS Representation and Foundational Design Decisions in Flambda2 , Lobste.rs Discussion
Rust to Assembly: Understanding the Inner Workings of Rust , Lobste.rs Discussion
Semantics of Programming (video lectures that go with the "Concrete Semantics" book) , Lobste.rs Discussion
When is inlining useful? , Lobste.rs Discussion
Writing down (and searching through) every UUID , Lobste.rs Discussion
Precedence-aware pretty printing , Lobste.rs Discussion
Thoughts on Zig , Lobste.rs Discussion
Interaction nets , Lobste.rs Discussion
Warren's Abstract Machine: A Tutorial Reconstruction (1999) , Lobste.rs Discussion
Giving up the dylib dream , Lobste.rs Discussion
Intuiting TLS , Lobste.rs Discussion
3110 Coq Tactics Cheatsheet , Lobste.rs Discussion
The Best Refactoring You've Never Heard Of , Lobste.rs Discussion
How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure) , Lobste.rs Discussion
Deadlock-free Mutexes and Directed Acyclic Graphs (2022) , Lobste.rs Discussion
Rust Temporary Lifetimes and "Super Let" , Lobste.rs Discussion
Baby's second wasm compiler , Lobste.rs Discussion
Logic and Proof , Lobste.rs Discussion
A Gentle Introduction to LLVM IR , Lobste.rs Discussion
You could have invented denotational semantics , Lobste.rs Discussion
The Design & Implementation of the CPython Virtual Machine , Lobste.rs Discussion
Learning about debuggers , Lobste.rs Discussion
Compilers: Incrementally and Extensibly , Lobste.rs Discussion
A rough survey of compilation, recompilation, and compile-time evaluation , Lobste.rs Discussion
The road to hell is paved with good intentions and C++ modules , Lobste.rs Discussion
What's the big deal about embedded key-value databases like RocksDB? , Lobste.rs Discussion
Nix Based C++ Workflow From Scratch (2021) , Lobste.rs Discussion
Simple fast value semantics , Lobste.rs Discussion
Streams, Calculational Proofs and Dafny , Lobste.rs Discussion
Parallel property-based testing with a deterministic thread scheduler , Lobste.rs Discussion
Why some of us like "interdiff" code review systems (not GitHub) , Lobste.rs Discussion
Oleg's Programming Site , Lobste.rs Discussion
The Juggler's Curse , Lobste.rs Discussion
Use Monoids for Construction , Lobste.rs Discussion
Macros and optimizations: it's just a phase , Lobste.rs Discussion
Durable Incrementality , Lobste.rs Discussion
pgdog: Horizontal scaling for PostgreSQL with automatic sharding , Lobste.rs Discussion
Blindsided by Rust's Subtyping and Variance , Lobste.rs Discussion
It Takes Two to Contract , Lobste.rs Discussion
Interaction Nets, Combinators, and Calculus , Lobste.rs Discussion
Simplifying Expressions Bottom-Up , Lobste.rs Discussion
Fantastic Learning Resources , Lobste.rs Discussion
What Austral Proves , Lobste.rs Discussion
Why SQLite Uses Bytecode , Lobste.rs Discussion
UI for sums must remember products , Lobste.rs Discussion
How bad is LLVM really? , Lobste.rs Discussion
Jepsen: RavenDB 6.0.2 , Lobste.rs Discussion
I Have No Constructor, and I Must Initialize , Lobste.rs Discussion
Queueing - an interactive study of queueing strategies , Lobste.rs Discussion
Coding as Craft: Going Back to the Old Gym , Lobste.rs Discussion
What If We Could Rebuild Kafka From Scratch? , Lobste.rs Discussion
How Discord Indexes Trillions of Messages , Lobste.rs Discussion
Differential Coverage for Debugging , Lobste.rs Discussion
DataFusion - The Database Building Toolkit , Lobste.rs Discussion
How should I read type system notation? , Lobste.rs Discussion
Why You Should Write Your Own Static Site Generator , Lobste.rs Discussion
Learning modern compilers? , Lobste.rs Discussion
A Very Subtle Bug (2010) , Lobste.rs Discussion
Async Rust Complexity , Lobste.rs Discussion
Typestate - the new Design Pattern in Swift 5.9 , Lobste.rs Discussion
Linear-time parser combinators , Lobste.rs Discussion
Swift almost does a really cool thing I want , Lobste.rs Discussion
References are like jumps , Lobste.rs Discussion
Resilient LL Parsing Tutorial , Lobste.rs Discussion
What a good debugger can do , Lobste.rs Discussion
Strange Loop's greatest hits , Lobste.rs Discussion
Compiling ML models to C for fun , Lobste.rs Discussion
Let's write a setjmp , Lobste.rs Discussion
Cosmopolitan Third Edition , Lobste.rs Discussion
Testing Distributed Systems for Linearizability (2017) , Lobste.rs Discussion
swift-evolution/0382: Expression Macros , Lobste.rs Discussion
Is something bugging you? , Lobste.rs Discussion
Traits are a Local Maximum , Lobste.rs Discussion
Story-time: C++, bounds checking, performance, and compilers , Lobste.rs Discussion
Ghosts of Departed Proofs (2018) , Lobste.rs Discussion
I'm betting on Call-by-Push-Value , Lobste.rs Discussion
A Dependently Typed Assembly Language , Lobste.rs Discussion
Syntactic musings on match expressions , Lobste.rs Discussion
Asynchronous IO: the next billion-dollar mistake? , Lobste.rs Discussion
conservative gc can be faster than precise gc , Lobste.rs Discussion
The State of Full-Stack OCaml , Lobste.rs Discussion
Extending Rust's Effect System , Lobste.rs Discussion
New Go garbage collector , Lobste.rs Discussion
Functional HTML , Lobste.rs Discussion
modern-latex: A short guide to LaTeX that avoids legacy cruft , Lobste.rs Discussion
An Interactive Debugger for Rust Trait Errors , Lobste.rs Discussion
The Curse of Knowing How, or; Fixing Everything , Lobste.rs Discussion
Implement your language twice , Lobste.rs Discussion
Newtyped Indices are Proofs , Lobste.rs Discussion
Memory Safety Features in Zig , Lobste.rs Discussion
Algebraic Effects: Another mistake carried through to perfection? , Lobste.rs Discussion
Rust Dependencies scare Me , Lobste.rs Discussion
Functional programming languages should be so much better at mutation than they are , Lobste.rs Discussion
The Hitchhiker's Guide to Logical Verification , Lobste.rs Discussion
Java FFI vs JNI for Meta's RocksDB Java API , Lobste.rs Discussion
So You Want to Optimize Your Code? (also, a disordered, confusing and absolutely incomplete oral history of Firefox performance) , Lobste.rs Discussion
How I think about Zig and Rust , Lobste.rs Discussion
Scheduling Internals , Lobste.rs Discussion
A Twist on Wadler's Printer , Lobste.rs Discussion
Jepsen: jetcd 0.8.2 , Lobste.rs Discussion
Time is not a synchronization primitive , Lobste.rs Discussion
How RocksDB works , Lobste.rs Discussion
Programming Languages Going Above and Beyond , Lobste.rs Discussion
Second-Class References , Lobste.rs Discussion
Reconstructing TypeScript, part 0: intro and background , Lobste.rs Discussion
The sad state of property-based testing libraries , Lobste.rs Discussion
Writing that changed how I think about PL , Lobste.rs Discussion
Lock-Free Rust: How to Build a Rollercoaster While It’s on Fire , Lobste.rs Discussion
Hyper-Typing , Lobste.rs Discussion
The penultimate conditional syntax , Lobste.rs Discussion
Divorce from LLVM , Lobste.rs Discussion
Async Rust Challenges in Iroh , Lobste.rs Discussion
smol_world: Compact garbage-collected heap and JSON-like object model , Lobste.rs Discussion
Use GNU Emacs , Lobste.rs Discussion
Implementing MVCC and major SQL transaction isolation levels , Lobste.rs Discussion
The Heart of a Language Server , Lobste.rs Discussion
Why Static Languages Suffer From Complexity (and type-safe printf implementation without macros) , Lobste.rs Discussion
The Rust I Wanted Had No Future , Lobste.rs Discussion
Formal verification makes RSA faster — and faster to deploy , Lobste.rs Discussion
Do we fear the serializable isolation level more than we fear subtle bugs? , Lobste.rs Discussion
Stop Making Me Memorize The Borrow Checker , Lobste.rs Discussion
A rustc soundness bug in the wild , Lobste.rs Discussion
Implementing Type Systems as Macros , Lobste.rs Discussion
Zig Reproduced Without Binaries , Lobste.rs Discussion
Structured Editing and Incremental Parsing , Lobste.rs Discussion
Dependent Types and the Art of HTTP Headers , Lobste.rs Discussion
A love letter to make , Lobste.rs Discussion
All about LeakSanitizer , Lobste.rs Discussion
Timeouts and cancellation for humans (2018) , Lobste.rs Discussion
How Discord Stores Trillions of Messages , Lobste.rs Discussion
Memory Safety is a Red Herring , Lobste.rs Discussion
missing the point of webassembly , Lobste.rs Discussion
Jepsen: Datomic Pro 1.0.7075 , Lobste.rs Discussion
Emacs From Scratch Part Two: Projects and Keybindings , Lobste.rs Discussion
Readings in Database Systems, 5th Edition , Lobste.rs Discussion
What if everybody did everything right? , Lobste.rs Discussion
Unsafe : on Rust still being helpful even with a lot of unsafe , Lobste.rs Discussion
How I Use Git Worktrees , Lobste.rs Discussion
Investigating an Event Queue Hang: The Code Works Correctly , Lobste.rs Discussion
The State of Async Rust , Lobste.rs Discussion
Logic and Computation Intertwined , Lobste.rs Discussion
Debugging by querying a database of all program state , Lobste.rs Discussion
Compilers for free with weval , Lobste.rs Discussion
rsc-regexp: Translations of a simple C program to Rust , Lobste.rs Discussion
How Austral’s Linear Type Checker Works , Lobste.rs Discussion
You should be reading academic computer science papers (2022) , Lobste.rs Discussion
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior , Lobste.rs Discussion
Does Your Test Suite Account For Weak Transaction Isolation? , Lobste.rs Discussion
A tour of the LLVM backend , Lobste.rs Discussion
Implementing #embed for C and C++ , Lobste.rs Discussion
Faking Algebraic Effects and Handlers With Traits: A Rust Design Pattern , Lobste.rs Discussion
Maglev - V8’s Fastest Optimizing JIT , Lobste.rs Discussion
The State Of Garnet in 2025 , Lobste.rs Discussion
Understanding React Compiler , Lobste.rs Discussion
Less-technical introductions to type checking? , Lobste.rs Discussion
MLIR For Beginners , Lobste.rs Discussion
Functional Data Structures and Algorithms. A Proof Assistant Approach , Lobste.rs Discussion
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches , Lobste.rs Discussion
On Modularity of Lexical Analysis , Lobste.rs Discussion
Yo, I heard you like decorators , Lobste.rs Discussion
Reasons I still love the fish shell , Lobste.rs Discussion
How Swift Achieved Dynamic Linking Where Rust Couldn't (2019) , Lobste.rs Discussion
Tiny challenges for learning WebAssembly , Lobste.rs Discussion
Programming and computing bloggers: How do you decide what to write about? , Lobste.rs Discussion
A catalog of ways to generate SSA , Lobste.rs Discussion
Write more "useless" software , Lobste.rs Discussion
Storing data in pointers , Lobste.rs Discussion
TypeScript is Surprisingly OK for Compilers , Lobste.rs Discussion
Moving Beyond Type Systems , Lobste.rs Discussion
Introducing the Determinate Nix Installer , Lobste.rs Discussion
'Modules Matter' Most for the Masses , Lobste.rs Discussion
Delimited Generators - A more natural API for JS generators , Lobste.rs Discussion
Zig, Rust, and other languages , Lobste.rs Discussion
Bril: An Intermediate Language for Teaching Compilers , Lobste.rs Discussion
Visitor Pattern Considered Pointless - Use Pattern Switches Instead (2021) , Lobste.rs Discussion
Into CPS, never to return , Lobste.rs Discussion
Use of Time in Distributed Databases (part 2): Use of logical clocks in databases , Lobste.rs Discussion
Stuff I learnt in 2024 , Lobste.rs Discussion
Reference Counting: Harder than it Sounds (2015) , Lobste.rs Discussion
How does a Linux machine connect to the internet, really? , Lobste.rs Discussion
Do you use a debugger? , Lobste.rs Discussion
A survey of every iterator variant , Lobste.rs Discussion
Iteration in one language, then all the others (2016) , Lobste.rs Discussion
Debugging in the Multiverse , Lobste.rs Discussion
Many explanations of JOIN are wrong, and people get confused , Lobste.rs Discussion
Why am I writing a JavaScript toolchain in Zig? , Lobste.rs Discussion
How do modern compilers choose which variables to put in registers? , Lobste.rs Discussion
Algebraic effects are a functional approach to manage side effects , Lobste.rs Discussion
TeX and Typst: Layout Models , Lobste.rs Discussion
Type Erasure: The Implementation Details , Lobste.rs Discussion
aya-dev: A proof assistant and a dependently-typed language , Lobste.rs Discussion
Building Type Search for Unison , Lobste.rs Discussion
Cranelift: Correctness in Register Allocation , Lobste.rs Discussion
What I've Learned About Formal Methods In Half a Year , Lobste.rs Discussion
Type safe variadic printf, without macros , Lobste.rs Discussion
Why I'm Writing a Scheme Implementation in 2025 (The Answer is Async Rust) , Lobste.rs Discussion
Code Style Sheets: CSS for Code , Lobste.rs Discussion
How I implement SSA form , Lobste.rs Discussion
The worst bug we faced at Antithesis , Lobste.rs Discussion
Unwind considered harmful? , Lobste.rs Discussion
Compiling typed Python , Lobste.rs Discussion
Tasks are the wrong abstraction , Lobste.rs Discussion
Hardest Problem in Computer Science: Centering Things , Lobste.rs Discussion
Types and the Zig Programming Language , Lobste.rs Discussion
Let futures be futures , Lobste.rs Discussion
Proof Pearl: Magic Wand as Frame , Lobste.rs Discussion
Transaction Isolation in Postgres, explained , Lobste.rs Discussion
Optimizing a parser/compiler with data-oriented design: a case study , Lobste.rs Discussion
A Python frozenset interpretation of Dependent Type Theory , Lobste.rs Discussion
How the jax.jit() JIT compiler works in jax-js , Lobste.rs Discussion
Zenbleed , Lobste.rs Discussion
You probably wrote half a monad by accident , Lobste.rs Discussion
Building a baseline JIT for Lua automatically , Lobste.rs Discussion
The Cloud Computer / Oxide , Lobste.rs Discussion
Go evolves in the wrong direction , Lobste.rs Discussion
Don’t Implement Unification by Recursion , Lobste.rs Discussion
Bergamot: Exploring Programming Language Inference Rules , Lobste.rs Discussion
Testing Distributed Systems w/ Deterministic Simulation (2014) , Lobste.rs Discussion
The Windows Subsystem for Linux is now open source , Lobste.rs Discussion
The Lisp in the Cellar: Dependent Types that Live Upstairs , Lobste.rs Discussion
Why Algebraic Effects? , Lobste.rs Discussion
Async from scratch 3: Pinned against the wall , Lobste.rs Discussion