Lobsters lobste.rs

Your code is worthless

nathanielfishel.substack.com·5w·Substack

Functional Algorithms, Verified

www21.in.tum.de·5w·Lobsters

Absurd In Production

lucumr.pocoo.org·5w·Lobsters, Hacker News

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell

gist.github.com·6w·Lobsters, Hacker News

Rails on the BEAM

intertwingly.net·5w·Lobsters

Why Nobody Can Verify What Booted Your Server

unmitigatedrisk.com·5w·Lobsters

The Design of AI Memory Systems

tombedor.dev·7w·Lobsters, Hacker News

Making a Type Checker/LSP for Nix

johns.codes·6w·Lobsters, Hacker News, r/NixOS

Baby’s Second Garbage Collector

matheusmoreira.com·6w·Lobsters, Hacker News, r/programming

Signals, the push-pull based algorithm

willybrauner.com·6w·Lobsters, Hacker News, Hacker News

Build your own Dial-up ISP with a Raspberry Pi

jeffgeerling.com·5w·Lobsters, Hacker News

Claude Code Found a Linux Vulnerability Hidden for 23 Years

mtlynch.io·6w·Lobsters, Hacker News, Hacker News, r/netsec

Slap: Fun Cat Lang... with a Borrow Checker?

taylor.town·6w·Lobsters, Hacker News

The free AI on your Mac

apfel.franzai.com·5w·Lobsters, Hacker News

What are you doing this weekend?

lobste.rs·5w·Lobsters

Adobe wrote to my hosts file

reddit.com·5w·r/webdev

SSH certificates: the better SSH experience

jpmens.net·6w·Lobsters, Hacker News

800 Rust terminal projects in 3 years

blog.orhun.dev·6w·Lobsters, Hacker News, r/rust

Offensive Cybersecurity Time Horizons

lyptusresearch.org·5w·Lobsters

Storyyeller/1subml: The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

github.com·5w·Lobsters

Log in to enable infinite scrolling