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

An oral history of Bank Python (2021) (via eBPF) — discussion

#historical #practices #python

Bringing WebKit back to Android (via gnafuthegreat) — discussion

#android #mobile #web

Good Code Design From Linux/Kernel (via linkdd) — discussion

#c #programming

Developing pkgsrc with git (via jaypatelani) — discussion

#netbsd

Investigating and mitigating an argument-dependent lookup bud in WinRT (via jmillikin) — discussion

#c++ #windows