simonw/codespaces-llm
simonwillison.net·16h
λLambda Formalization
Bugcrowd CTF 2025
infosecwriteups.com·1d
⚡Proof Automation
The Death of the IDE?
zed.dev·1d
🔄Language Evolution
It's the certificates, stupid!
reverse.put.as·1d
🏺Kerberos Archaeology
Scaling AI through our global network footprint
blog.arelion.com·1d
🕸️Mesh Networking
Darcula and the Magic Cat: How Osint Unmasked a Phishing Tycoon
osint.industries·15h·
Discuss: Hacker News
🚀Indie Hacking
My process to debug DNS timeouts in a large EKS cluster
cep.dev·5h
🌐DNS Security
Go 1.25 Release Notes
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang
🔧Binary Parsing
Lobsters Interview with Hwayne
lobste.rs·5d·
Discuss: Lobsters
⚔️Lean Tactics
Finding the shadows in a fusion system faster with AI
phys.org·7h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
GPT-5 prompting guide
cookbook.openai.com·3d·
Discuss: DEV
⚡Proof Automation
Vibe Server
vibe.des.io·21h·
Discuss: Hacker News
🚀Indie Hacking
AGI: Probably Not 2027
verysane.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
Patch Now: Attackers Target OT Networks via Critical RCE Flaw
darkreading.com·5h
🔓Hacking
How Token Development Services Accelerate Blockchain Innovation
dev.to·16h·
Discuss: DEV
🔗Blockchain Archives
How I Built a Consistent Error Handling System for FastAPI, a.k.a. APIException
dev.to·19h·
Discuss: DEV
⚡gRPC
Vibe Coding 101: The Future of AI-Assisted Development
dev.to·4h·
Discuss: DEV
🎙️Whisper
Getting Started with Spec-Driven Development Using Kiro + Jules + Cursor + GPT-5
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Complex behaving Hardware with CircuitPython - Part I
hackster.io·1d
⚡Circuit Design