Liskell - Haskell Semantics with Lisp Syntax (via veqq) — discussion

#api #haskell #lisp #pdf

An expression language for Vixen (by Corbin) — discussion

#compilers #perl #plt

TLA+ modeling tips (via Noghartt) — discussion

#distributed #formalmethods

Using E-Ink tablet as monitor for Linux (via abnercoimbre) — discussion

#hardware #linux

D-Bus is a disgrace to the Linux desktop (via asymmetric) — discussion

#linux

Swift Configuration 1.0 released (via carlana) — discussion

#swift

IronFleet: Proving Practical Distributed Systems Correct (via nextos) — discussion

#distributed #formalmethods #pdf

Will Turso Be The Better SQLite? (via dgv) — discussion

#databases #rust #video

Virtualizing NVidia HGX B200 GPUs with Open Source (via rrampage) — discussion

#graphics #virtualization

Hacking Endpoint to Identity: "ConsentFix" (via viega) — discussion

#security #video

Announcing Key Transparency for the Fediverse (via Foxboron) — discussion

#cryptography

"Careless Whisper" side-channel attack affects WhatsApp and Signal (via jeremiahlee) — discussion

#security

Identity-aware VPN and proxy for remote access (via ysun) — discussion

#javascript #networking

Stopping systemd services under memory pressure (by cyplo) — discussion

#linux #nix

Top Gun's Carrier Landing: Exposed (by Relax) — discussion

#reversing

ASK: What are you doing this week? (by caius)

#ask #programming

Chafa: Terminal Graphics for the 21st Century (via fs111) — discussion

#unix

30 Years of <br> Tags (via bugsmith) — discussion

#web

Rust's v0 mangling scheme in a nutshell (via ohrv) — discussion

#rust

The experimental Sokol Vulkan backend (via mikejsavage) — discussion

#graphics