Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·4d·
Discuss: Lobsters, Hacker News
Proxmox Virtual Environment 9.0 with Debian 13 released
proxmox.com·5d·
Discuss: Lobsters, Hacker News
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·5d·
Discuss: Lobsters, Hacker News
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·4d·
Discuss: Lobsters, Hacker News
Rod Burstall: In Memoriam
arxiv.org·5d·
Discuss: Lobsters
Tone Mapping (2019)
64.github.io·3d·
Discuss: Lobsters, Hacker News
Consent and Compromise
research.eye.security·2d·
Discuss: Lobsters, Hacker News, Hacker News
GPTs and feeling left behind
whynothugo.nl·5d·
Discuss: Lobsters, Hacker News
Pragmatism in Programming Proverbs
gingerbill.org·5d·
Discuss: Lobsters, Hacker News, r/programming
TIL that You can spot base64 encoded JSON
ergaster.org·5d·
Discuss: Lobsters, Hacker News
Perplexity is using stealth, undeclared crawlers to evade no-crawl directives
blog.cloudflare.com·6d·
Discuss: Lobsters, Hacker News
Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work
collabora.com·4d·
Discuss: Hacker News
Python performance myths and fairy tales
lwn.net·4d·
Discuss: Lobsters, Hacker News
All the cool kids are doing it
scattered-thoughts.net·6d·
Discuss: Lobsters, Hacker News
Dotfiles feel too intimate and personal to share
hamatti.org·5d·
Discuss: Lobsters, Hacker News, r/programming
The PSF has paused our Grants Program
pyfound.blogspot.com·5d·
Discuss: Lobsters, Hacker News
Why hx-boost is actually the most important feature of htmx
dev.to·4d·
Discuss: DEV
A SPARC makes a little fire
leadedsolder.com·6d·
Discuss: Lobsters, Hacker News
LF AI and Data Hosts Vortex Project for Data Access for AI and Analytics
linuxfoundation.org·4d·
Discuss: Lobsters, Hacker News
We replaced passwords with something worse
blog.danielh.cc·4d·
Discuss: Lobsters, Hacker News