Stories by pabs3

Lprint – A Label Printer Application

Proving Ada heap-manipulating programs with SPARK [video]

GNOME and gedit development feedback [pdf]

To Shift or Not to Shift: Understanding GEA-1 [pdf]

Cryptanalysis of the GPRS Encryption Algorithms GEA-1 and GEA-2 [pdf]

GPRS Encryption Algorithms GEA-1 GEA-2 implementations (in Python, C and Rust)

OpenParsec – Fast-paced multiplayer cross-platform 3D Internet space combat

Towards the Multistakeholder Imposition of Internet Sanctions

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

97
98
99
100
101
102
103
104
105
106