Japan's IC cards are weird and wonderful (via fanf) — discussion

#hardware

Remarks on AI from NZ (via brokebit) — discussion

#ai

O2 VoLTE: locating any customer with a phone call (via lukegb) — discussion

#privacy #security

Layers All The Way Down: The Untold Story of Shader Compilation (via pekkavaa) — discussion

#graphics

Easily Using SSH with FIDO2/U2F Hardware Security Keys (via ggpsv) — discussion

#networking #security

superd: a user service supervisor (via runxiyu) — discussion

#unix

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