← Back to news

L

Lobsters RSS Feed

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

LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection

"Vendoring" is a vile anti-pattern (2014)

Are We Becoming Architects or Butlers to LLMs?

AsteroidOS 2.0 Has Landed

One page of async Rust

Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies

Terminals should generate the 256-color palette

Plasma 6.6 released

Gentoo on Codeberg

GPU code can now use Rust's async/await

Using go fix to modernize Go code

Please don't at-here on Slack

What is Messaging Layer Security (MLS)?

Babashka 1.12.215: Revenge of the TUIs

How a single typo led to RCE in Firefox

Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers

The Evolution of x86 SIMD: From SSE to AVX-512

Doctor Xælong, or: How I learnt to stop worrying and love AI

Vinyl Cache has left github

--dangerously-skip-reading-code

Undo in Vi and its successors

Sometimes giving syndication feed readers good errors is a mistake

AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach

The Next Version of Curling IO

Fast sorting, branchless by design

building sqlite with a small swarm

LCM: Lossless Context Management

The Long Tail of LLM-Assisted Decompilation