CSLib: The Lean Computer Science Library (via avsm) — discussion

#formalmethods

Back to FreeBSD: Part 1 (via bernhard) — discussion

#freebsd

Are Compilers Deterministic? (via susam) — discussion

#compilers

Intent - The developer workspace for agent orchestration (via chaychoong) — discussion

#ai

The Four-Color Theorem 1852–1976 (via fanf) — discussion

#math

Drowse: Nix dynamic derivations made easy (by figsoda) — discussion

#nix

We hid backdoors in ~40MB binaries and asked AI + Ghidra to find them (via hoistbypetard) — discussion

#vibecoding

Parse, Don’t Validate AKA Some C Safety Tips (via telemachus) — discussion

#c

Velocity Is Dead: AI-Generated Compilers and the Future of Software (via typesanitizer) — discussion

#vibecoding

Running RISC-V in a VM to test my snaps (via raymii) — discussion

#virtualization

How Taalas "prints" LLM onto a chip? (via Yogthos) — discussion

#ai #hardware

UTS #39: Unicode Security Mechanisms (via kana) — discussion

#programming #security

You are not left behind (via BinaryIgor) — discussion

#practices

Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (via dbushell) — discussion

#a11y #vibecoding

Cosmologically Unique IDs (via hongminhee) — discussion

#distributed

ASK: Proposal: add "AI generated" as a flag reason (by danderson)

#meta

HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (via fanf) — discussion

#freebsd

How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (via nogweii) — discussion

#ruby

cl-kawa: A Turducken of Programming Languages (by atgreen) — discussion

#java #lisp

Fix your tools (by wofo) — discussion

#debugging #programming