Things I Don't Like in Configuration Languages (by antonmedv) — discussion

#programming

What is cosh(List(Bool))? Or beyond algebra: analysis of data types (via eBPF) — discussion

#formalmethods #math

Microsoft SoftCard for Apple II: two processors, same memory (via abareplace) — discussion

#historical

Porting Lean to the ESP32-C3 RISC-V microcontroller (via sergeyb) — discussion

#compilers #formalmethods #hardware

pg_lake: Postgres with Iceberg and data lake access (via krisajenkins) — discussion

#databases

On Async Mutexes (via carlana) — discussion

#plt #zig

FreeBSD Officially Supported in OCI Runtime Specification v1.3 (via samuelkarp) — discussion

#freebsd

SocketAddrV6 is not roundtrip serializable (by sunshowers) — discussion

#networking #rust

You don't need Kafka: Building a message queue with only two UNIX signals (via pgr0ss) — discussion

#ruby #unix

Suites – modern unit tests framework for TypeScript backends (via iddan) — discussion

#javascript #nodejs #testing

Reforging the ReScript Build System (via lilac) — discussion

#compilers #rust

A canvas for collaborative AI agent orchestration (via beto) — discussion

#vibecoding

I made a website that vibe-codes itself (by stavros) — discussion

#ai #vibecoding #web

High-performance 2D graphics rendering on the CPU using sparse strips (via isuffix) — discussion

#graphics #pdf #performance

ASK: Tag proposal: self-hosting (by confusedalex)

#meta

AWS DynamoDB Outage Analysis (via alfh) — discussion

#formalmethods #practices

JVM exceptions are weird: a decompiler perspective (via jmillikin) — discussion

#java #reversing

reagami: A minimal zero-deps Reagent-like for Squint and CLJS (by borkdude) — discussion

#clojure

Pain points of OCaml (via ars_dev_br) — discussion

#ml

This Month in Redox - October 2025 (via pbsds) — discussion

#osdev #rust