Stories by pabs3

Ukraine invasion: We should consider internet sanctions, says ICANN ex-CEO

CBMC – Bounded Model Checker for C and C++ programs

Kani Rust Verifier – a bit-precise model-checker for Rust

Interview with KDE Plasma Mobile Developer Bhushan Shah

A drowning world: Kenya’s quiet slide underwater

AMD's Pluton implementation seems to be controllable

Long Read of the Day – Gus Simmons’s Memoir

Another Time, Another Place, Another Story

The Flamenco Search Interface Project

Strategies to Improve Continuous Integration

Gem-compare – RubyGems plugin that compares versions of the given gem

Now you too can underpay everyone in Office Management 101

Keeping One’s $HOME Tidy

Long, long, long live Emacs after 39 years

Facts vs. Feelings

Is pinning dependencies is more secure than not pinning?

AntiJob: The Russian Anarchist Labor Site That Terrifies the Bosses

Declaration of Digital Autonomy

Titus – Isolated TLS Unwrapping Server

Open Mainframe Summit