Type Checking with Symbolic Execution
bullno1.com·4d·
Discuss: Hacker News
🐍Programming
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·1d·
Discuss: Lobsters, Hacker News
🐍Programming
The Many Faces of Agentic Identities
cyata.ai·11h·
Discuss: Hacker News
🐍Programming
How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·2d·
Discuss: Hacker News
🐍Programming
Vibe Coding an SMTP Server, in Rust
mailpace.com·1d·
Discuss: Hacker News
🐍Programming
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·17h·
Discuss: Hacker News
🐍Programming
Synthetic Auth Report – Issue 003
syntheticauth.ai·1d·
Discuss: Hacker News
🧠Chemistry
TDD Guard: Enforcing Test-Driven Development with Claude Code Hooks
nizar.se·1d·
Discuss: Hacker News
🐍Programming
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·2d·
Discuss: Substack
👨‍🏫Teaching
H-Nets – The Past
goombalab.github.io·3d·
Discuss: Hacker News
🐍Programming
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·3d·
Discuss: Hacker News, r/programming
🐍Programming
Keep Pydantic out of your Domain Layer
coderik.nl·22h·
Discuss: Hacker News
🐍Programming
Machine Learning. Literally.
trivialorwrong.com·2d·
Discuss: Hacker News
🐍Programming
I just decompiled a decompiler so I could use it to decompile itself (2008)
dougmccune.com·1d·
Discuss: Hacker News
🐍Programming
Custom mechanical keyboard: OS-specific custom RGB lighting with QMK
quantum5.ca·4h·
Discuss: Lobsters, Hacker News
🐍Programming
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·9h·
Discuss: Hacker News
🐍Programming
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org·2d·
Discuss: Lobsters, Hacker News
🐍Programming
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·1d·
Discuss: Hacker News
🐍Programming
I adapted my film into a text-based adventure
kubicki.org·12h·
Discuss: Hacker News
🐍Programming
Serverless single tenant RAG with DuckDB
summer.io·12h·
Discuss: Hacker News
🐍Programming