Bit-fields (via MaskRay) — discussion

#c

Read Locks Are Not Your Friends (via emschwartz) — discussion

#performance #rust

Documentary about Mozilla Firefox at pwn2own (part 1) (via freddyb) — discussion

#browsers #security #video

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