CHERIoT: The last ten years (by david_chisnall) — discussion

#hardware #historical #security

When Jorge Luis Borges met one of the founders of AI (via schmudde) — discussion

#historical

GNU Taler v1.0 released (via meithecatte) — discussion

#finance

The Language That Never Was (via darthdeus) — discussion

#programming

VM escape in Oracle VirtualBox via VGA device (via jmillikin) — discussion

#security #virtualization

Implementing a RISC-V hypervisor (via jmillikin) — discussion

#osdev #virtualization

Static types are for perfectionists (via runxiyu) — discussion

#philosophy

Java at 30: The Genius Behind the Code That Changed Tech (via rrampage) — discussion

#java

Graceful Shutdown in Go: Practical Patterns (via runxiyu) — discussion

#go

Programming in Martin-Lof's Type Theory: An Introduction (1990) (via fanf) — discussion

#book #pdf #plt

Mutexes Are Faster Than Spinlocks (via runxiyu) — discussion

#performance

Don’t Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF) (2019, 2023) (via runxiyu) — discussion

#api

Using unwrap() in Rust is Okay (via runxiyu) — discussion

#rust

My favourite fonts to use with LaTeX (2022) (via runxiyu) — discussion

#design

erlang-red: Visual low-code flow-based programming environment for Erlang, inspired by Node-RED (via linkdd) — discussion

#erlang #programming

Pallene: a statically typed ahead-of-time compiled sister language to Lua, with a focus on performance (via fanf) — discussion

#lua

HMPL v3.0: Small template language for displaying UI from server to client (by aanthonymax) — discussion

#javascript #release

A Ledger In PostgreSQL Is Fast (by pgr0ss) — discussion

#databases

Senior devs aren't just faster, they can dodge problems juniors are forced to solve (by beyarkay) — discussion

#programming

ASK: What Problems are Truly Technical, not Social? (by veqq)

#ask #programming