← Back to news

L

Lobsters RSS Feed

Rust on CHERIoT: Status update #0

Top 20 worldwide with social-engineering and a cheat that's still undetected

Why I don't think AGI is imminent

Notes on clarifying man pages

DBML: DSL for easily creating ER diagrams

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?

Current - An RSS reader

What Your Bluetooth Devices Reveal About You

Non-Contributory Keys in the Matrix

Bruteforcing the Bitwarden master password I forgor

F9 Kernel

DNS-PERSIST-01: A New Model for DNS-based Challenge Validation

The Global Trust Register (1999)

Understanding Whole Program Paths and Path Profiling

AVX2 is slower than SSE2-4.x under Windows ARM emulation

Dank Linux - Desktop Environment for Wayland and Niri

What's cooking on SourceHut? Q1 2026

model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls

Asahi Linux Progress Report: Linux 6.19

15+ years later, Microsoft morged my diagram

The case for gatekeeping, or: why medieval guilds had it figured out

Minimal x86 Kernel in Zig

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

6502 Emulation - The Jump Indirect Bug

claimcheck: Narrowing the Gap between Proof and Intent

Cryptographic Issues in Matrix’s Rust Library Vodozemac

An assembler that compiles to a printf loop