-
I Cannot SSH Into My Server Anymore (And That’s Fine)
-
V16 beacon full uplink conversation
-
Tag Proposal: logic-lang
-
annote: Writing java using only annotations
-
Type inference of all constructs and the next 15 months
-
Bare metal programming with RISC-V guide (2023)
-
Garbage collected handles are lifetime-contravariant
-
European Commission issues call for evidence on open source
-
Celeste & TowerFall Physics
-
Shell scripts
-
How Markdown took over the world
-
Are NixOS services down?
-
Don’t snipe me in space - intentional flash corruption for STM32 microcontrollers
-
Phosh 2025 in Retrospect
-
SUSE delivers Raspberry Pi 5 support
-
Sanctum 1.0.0 - small, reviewable, capable, PQ-secure and fully privilege separated novel VPN daemon and protocol
-
Comparative Analysis of Low-Dimensional Features and Tree-Based Ensembles for Malware Detection Systems (2020)
-
What are you doing this weekend?
-
Answer Set Programming (2019)
-
How we made Python's packaging library 3x faster
-
Handling secrets (somewhat) securely in shells
-
A year of work on the ALPM project
-
Magicall: end-to-end encrypted videoconferencing in the browser, now in alpha
-
Which programming languages are most token-efficient?
-
What Happened To WebAssembly
More