Programming

Layers All The Way Down: The Untold Story of Shader Compilation (moonside.games)
2025-5-18

superd: a user service supervisor (sr.ht)
2025-5-18

Easily Using SSH with FIDO2/U2F Hardware Security Keys (www.complete.org)
2025-5-18 InfoSec

CHERIoT: The last ten years (cheriot.org)
2025-5-17

When Jorge Luis Borges met one of the founders of AI (resobscura.substack.com)
2025-5-17 AI

VM escape in Oracle VirtualBox via VGA device (github.com)
2025-5-17 Oracle VirtualBox

GNU Taler v1.0 released (www.taler.net)
2025-5-17

Implementing a RISC-V hypervisor (seiya.me)
2025-5-17

The Language That Never Was (blog.celes42.com)
2025-5-17

Java at 30: The Genius Behind the Code That Changed Tech (thenewstack.io)
2025-5-17 Java

Static types are for perfectionists (mmapped.blog)
2025-5-17

Graceful Shutdown in Go: Practical Patterns (victoriametrics.com)
2025-5-17

Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)
2025-5-17 programming

Mutexes Are Faster Than Spinlocks (matklad.github.io)
2025-5-17

Using unwrap() in Rust is Okay (burntsushi.net)
2025-5-17 Rust

My favourite fonts to use with LaTeX (2022) (www.lfe.pt)
2025-5-17

Don't Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF) (2019, 2023) (dwheeler.com)
2025-5-17

Permalink to CodeRabbit brings AI-powered code review into Visual Studio Code (sdtimes.com)
2025-5-17 AI Visual Studio

erlang-red: Visual low-code flow-based programming environment for Erlang, inspired by Node-RED (github.com)
2025-5-17 Erlang programming

Pallene: a statically typed ahead-of-time compiled sister language to Lua, with a focus on performance (github.com)
2025-5-17

HMPL v3.0: Small template language for displaying UI from server to client (github.com)
2025-5-17 Server

A Ledger In PostgreSQL Is Fast (www.pgrs.net)
2025-5-17 PostgreSQL

Senior devs aren't just faster, they can dodge problems juniors are forced to solve (boydkane.com)
2025-5-17

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks (emschwartz.me)
2025-5-17 Logistics

What Problems are Truly Technical, not Social? (lobste.rs)
2025-5-17

A richer Journelly org capture template (xenodium.com)
2025-5-17

GNU Parallel Examples (www.gnu.org)
2025-5-17

Detecting malicious Unicode (daniel.haxx.se)
2025-5-17

Deep Dive on New Combinators (github.com)
2025-5-17

Evolution of Rust compiler errors (kobzol.github.io)
2025-5-17 Rust

Previous Page Next Page