Announcing SLSA v1.2 Release Candidate 1 (via Mordo) — discussion

#security

A family of OpenSSL forks (via fanf) — discussion

#networking #security

RedMonk Top 20 Languages Over Time: January 2025 (via freddyb) — discussion

#programming

Introduction to the DCJ11 , PDP-11 on a Chip (via raymii) — discussion

#hardware

Modeling the World in 280 Characters (via adamshaylor) — discussion

#graphics

SATySFi: A statically-typed, functional typesetting system (via agnishom) — discussion

#programming

ASK: What are you doing this week? (by caius)

#ask #programming

Polystate: Composable Finite State Machines (via andyferris) — discussion

#zig

Telescopes Are Tries: A Dependent Type Shellac on SQLite (by philzook) — discussion

#databases #formalmethods #plt

Compressing for the browser in Go (via carlana) — discussion

#go #web

Implicit is better than explicit (via carlana) — discussion

#devops

tabiew: A TUI for viewing & querying CSV, TSV, JSON, SQLITE, and more (via technetium) — discussion

#programming

Asterinas: a new Linux-compatible kernel project (via runxiyu) — discussion

#linux

Allocators are Monkeys With Typewriters (via runxiyu) — discussion

#programming

Makefile formatter and linter (via runxiyu) — discussion

#programming #unix

Fixing Letrec (Reloaded) (via veqq) — discussion

#lisp #pdf #plt

Finding a billion factorials in 60 ms with SIMD (via WilhelmVonWeiner) — discussion

#math

Building my own paper tape punch (via jcs) — discussion

#hardware #retrocomputing

I wrote my PhD Thesis in Typst (via isuffix) — discussion

#programming

How fast are Linux pipes anyway? (2022) (via fanf) — discussion

#linux #performance