Stories by todsacerdoti

November in Servo: monthly releases, context menus, parallel CSS parsing, and m

Global Known_hosts for SSH Services

Single-Pass Huffman Coding

Torvalds on Linux Security Modules

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

I'm Just Having Fun

An Expression Language for Vixen

Liskell – Haskell Semantics with Lisp Syntax [pdf]

TLA+ Modeling Tips

IronFleet: Proving Practical Distributed Systems Correct [pdf]

Hacking Endpoint to Identity: "ConsentFix" [video]

Virtualizing Nvidia HGX B200 GPUs with Open Source

Key Transparency for the Fediverse

Stopping systemd services under memory pressure

Carrier Landing in Top Gun for the NES

Rust's v0 mangling scheme in a nutshell

System Observability: Metrics, Sampling, and Tracing

The World Is Not a Desktop (1994)

The element should do something

31
32
33
34
35
36
37
38
39
40