Stories by JoshTriplett

C Bounded Model Checker

What skills are effective altruist organisations short of?

Puzzle Dependency Charts

Cruelty scale – IFWiki

Teeny Tiny Mansion: text adventure game formally proven to have no dead ends

Statement regarding Dmitry Bogatov

It’s Better to Avoid a Toxic Employee Than Hire a Superstar

MasterPrint: Exploring the Vulnerability of Partial Fingerprint Auth Systems

The new Fedora Project mission statement

The That Guy Effect

Purism Laptops to Use ‘Heads’ Firmware to Protect Against Rootkits, Tampering

Knowledge Breadth versus Depth

Disabling SSL validation in binary apps

Iteration patterns for Result and Option

ELF processing in Rust

Review, not Rocket Science

I can still see your actions on Google Maps over SSL

Ubuntu rejoins the Gnome fold

Rayon 0.7 released

Cyborg Lawyer 2.0, “Hack Proof”

16
17
18
19
20
21
22
23
24
25