Porting the curl command-line tool and library with Goa (via calvin) — discussion

#programming

The Cp1 Programming Language (via linkdd) — discussion

#c #plt #programming

A Quick Journey Into the Linux Kernel (via alper) — discussion

#linux

Scroll buddy (via MatheusRich) — discussion

#web

Why Go's Error Handling is Awesome (via ucirello) — discussion

#go

Domain specific architectures for AI inference (via Celeritas) — discussion

#ai #hardware

Prompt Engineering for Web Development (via Kerrick) — discussion

#ai #web

Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal (via hwayne) — discussion

#formalmethods

Rust in 2025: Targeting foundational software (via krtab) — discussion

#rust

MLS is Coming to Wire App (via niklaskorz) — discussion

#cryptography #release #security

Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of China (via LeahNeukirchen) — discussion

#networking #pdf #security

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (via chrislloyd) — discussion

#editors #pdf #vcs

Building Cross-Platform SDKs: From FFI to WebAssembly | Flipt Blog (by markphelps) — discussion

#go #rust #wasm

From Spring Boot to Ruby on Rails (by cosmic-boi) — discussion

#java #ruby #web

Pantograph a fluid and typed structural editor (via crowdhailer) — discussion

#editors #video

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

#ask #programming

20 years of Linux on the Desktop (part 3) (by ploum) — discussion

#historical

The Chromecast 2's device authentication certificate has expired (via munksgaard) — discussion

#android

What it takes to add a new backend to Futhark (via mjn) — discussion

#compilers #plt

Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of China (via sanxiyn) — discussion

#security