Lobsters lobste.rs

Working was the beginning (Part two of Ant)

themackabu.dev·6d·Lobsters

Go is FIPS 140-3 certified

csrc.nist.gov·1w·Lobsters, Hacker News

Principia Softwarica: Fundamental Literate System Programs

principia-softwarica.org·2w·Lobsters, Hacker News

The vi family

lpar.ath0.com·1w·Lobsters, Hacker News, Hacker News

krabby: making a fast Rust compiler

bal-e.org·1w·Lobsters, Hacker News

StarFighter 16-inch

us.starlabs.systems·1w·Lobsters, Hacker News

Google Chrome silently installs a 4 GB AI model on your device without consent. At a billion-device scale the climate costs are insane.

thatprivacyguy.com·1w·Lobsters, Hacker News, r/LocalLLaMA, r/browsers, r/chrome, r/privacy, r/sysadmin, r/technology

Comparing the Z80 and 6502 to Their Relatives

bumbershootsoft.wordpress.com·1w·Lobsters, Hacker News

An exploitable integer overflow in Lix (CVE-2026-44028)

lix.systems·1w·Lobsters

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase

types.pl·1w·Lobsters

RSS Feeds Send Me More Traffic Than Google

shkspr.mobi·1w·Lobsters, Hacker News

Behavior-Oriented Concurrency in Python: Lockless, Deadlockfree, Ownership-based

microsoft.github.io·1w·Lobsters, Hacker News, Hacker News

Why didn’t IPv6 work in my home network?

gowtham.dev·4w·Lobsters, Hacker News

Tokens and Dreams

charlesleifer.com·1w·Lobsters, Lobsters, Hacker News

Claude Code is not making your product better

ethanding.substack.com·3w·Substack

A bidirectional typechecking puzzle>

haskellforall.com·1w·Lobsters, Hacker News, Hacker News

A Caddy Cert Expired Because systemd-resolved Was Selectively Broken

rant.mvh.dev·1w·Lobsters, Hacker News, Hacker News

Agent MetaSKILLs

swival.dev·1w·Lobsters, Hacker News

quincy-rs/quincy: Post-quantum QUIC-based VPN

github.com·1w·Lobsters, Hacker News

What I’m Hearing About Cognitive Debt (So Far)

margaretstorey.com·12w·Lobsters, Hacker News, r/artificial

Log in to enable infinite scrolling