Rust on CHERIoT: Status update #0 (by ecmm) — discussion

#compilers #rust

Why I don't think AGI is imminent (by dlants) — discussion

#vibecoding

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (via edoput) — discussion

#formalmethods #pdf

Bruteforcing the Bitwarden master password I forgor (via BD103) — discussion

#cryptography #reversing

Current - An RSS reader (via boramalper) — discussion

#design #mobile

What Your Bluetooth Devices Reveal About You (via gnyeki) — discussion

#privacy

Non-Contributory Keys in the Matrix (via meithecatte) — discussion

#cryptography

F9 Kernel (via Forty-Bot) — discussion

#osdev

DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (via fanf) — discussion

#networking #security

The Global Trust Register (1999) (via calvin) — discussion

#book #cryptography

Dank Linux - Desktop Environment for Wayland and Niri (via krig) — discussion

#design #linux

AVX2 is slower than SSE2-4.x under Windows ARM emulation (by vintagedave) — discussion

#performance #programming

Understanding Whole Program Paths and Path Profiling (by aphaelion) — discussion

#compilers #compsci

15+ years later, Microsoft morged my diagram (via gspr) — discussion

#ai

The case for gatekeeping, or: why medieval guilds had it figured out (via alper) — discussion

#practices #vibecoding

What's cooking on SourceHut? Q1 2026 (via runxiyu) — discussion

#devops

model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (by kantord) — discussion

#ai #python

Asahi Linux Progress Report: Linux 6.19 (via fanf) — discussion

#linux

BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (via johnklos) — discussion

#compilers

Minimal x86 Kernel in Zig (via refp) — discussion

#osdev #zig