← Back to news

L

Lobsters RSS Feed

Lifeguard: A static analyzer for Python lazy imports compatibility

The importance of communities around software

Cloudflare shutting down Deno is news, not just PR

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders

Branches in branch-free code

How To Write Shared Libraries (2011)

Equality Saturation: An “Incomplete” Project

Vectorized CLZ and CTZ

Two Futures for LLMs in Mathematics

Python 3.15.0

Unison Cloud is now open source

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Why Are Coding Agents So Dumb?

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot

Deepthi Sigireddi from Supabase

Spinlocks Considered Harmful (2020)

Deno is joining Cloudflare

HIP and ROCm as first-class citizens in Guix

What are you doing this weekend?

On modern hardware, who handles what bit of hardware state can be unclear

A minimal kernel in Swift, running in QEMU

There are many themes, but this one is yours

Reverse Engineer Anything

The making of a very fast SPI flasher

Telegram Desktop: one-click account takeover via IPC injection

Programming Isn’t Special

en-html.org is a Scam Site

Deeper dive: Keyboard differences between Windows and Macs

Reducing undefined behavior in the C language

B-Trees Are Back: Engineering Fast and Pageable Node Layouts