Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++ (via av) — discussion

#math #rust

Glasgow Haskell Compiler 9.12.1 Release notes (via ehamberg) — discussion

#haskell #release

Some things that make languages easy (or not) to embed in Unix shell scripts (2022) (via bitfield) — discussion

#programming #unix

Kubernetes Spec Explorer (via antonmedv) — discussion

#devops

Atmosphère is a work-in-progress customized firmware for the Nintendo Switch (via quad) — discussion

#osdev

Crash recovery in 256 bytes (via janerik) — discussion

#osdev #rust

Why GCC 1.42 on the Tektronix 4404 — with a C compiler from 1979 (via classichasclass) — discussion

#c #retrocomputing

Adélie Linux 1.0-BETA6 Released (via awilfox) — discussion

#linux #release

Principles of Educational Programming Language Design (via azhenley) — discussion

#plt

25 years of Dillo (via calvin) — discussion

#browsers #historical

Hacking the Discord app for $5000 Bounty (via freddyb) — discussion

#security #video

I Tried Creating a Native App in TypeScript (via jado) — discussion

#compilers #web

Haiku Activity & Contract Report, November 2024 (via rjzak) — discussion

#osdev

Conway's Game of Life implemented by a manual page (by cve) — discussion

#unix

Reducing WASM binary size: lessons from building a web terminal (via emschwartz) — discussion

#rust #wasm

Home Assistant can not be secured for internet access (via freddyb) — discussion

#security

Xfce 4.20 released (via calvin) — discussion

#release

The Death of Developer Relations (by jaxxstorm) — discussion

#rant

Caddy Ninja - Setup an HTTPS-enabled web server with Caddy on Alpine Linux (by bt) — discussion

#linux #web

Performance of Rust's match vs. lookup tables (2019) (via bitfield) — discussion

#performance #rust