Stories by pabs3

Breaking away from Big Tech: convenient open source infrastructure [video]

Hello Web from Idris 2 dependently typed language

Responsible – HTTP RESTful API server written in the Idris2 typesafe language

Test a Linux kernel USB Device Controller driver with testusb

Passwordless authentication with FIDO2–beyond just the web

KanjiVG – SVGs of Kanji character strokes including order, shape and direction

Why language models need not get worse

Racket Modes for Emacs

B Compilers in C and B

Experimenting with Advertising on MDN

Vramfs – GPU VRAM based file system for Linux

The Legend of Edgar

DuskOS – 32-bit Forth OS mixed with C

The Mesa drivers matrix – status of open source GPU drivers

Ultimate Stunts: Not just another racing game

I replaced grub with systemd-boot

New Hampshire residents: support software freedom on Thursday, February 16

Monado – open-source VR/AR/XR runtime

SFP#19: Why we need Free Software on medical devices with Karen Sandler

Fixing Year 2038 – Coordinating the 64-bit time_t ABI migration

69
70
71
72
73
74
75
76
77
78