Stories by pabs3

Math Libraries Written in OpenCL

Morse Code Audio Translator

How Is Debian Doing?

Telepathy – Real-time communication and collaboration for the desktop and mobile

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