Grimoire CSS - flexible utility class tool
grimoirecss.com·6h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Norways first adventure game part 1
spillhistorie.no·20h·
Discuss: Hacker News
🎮Verification Games
Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·1d·
Discuss: r/programming
📊Runtime Verification
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔠Type-Level Programming
Reverse engineering SkyCards, a flight spotting game
blog.jonlu.ca·7h·
Discuss: Hacker News
📊Runtime Verification
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·2d·
Discuss: Hacker News
❄️Nixified Development
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Six Years of Admiral Shark's Keyboards
sharktastica.co.uk·3h·
Discuss: Hacker News
💾Retro Computing
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Generating Website Banners Algorithmically
golfed.xyz·1d·
Discuss: Hacker News
💾Retro Computing
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·2d·
Discuss: Hacker News
🐳Containerization
On Treaties, Nuclear Weapons, and AI
lesswrong.com·8h
🐫OCaml
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
How To Work With Local AI in the Zed IDE
thenewstack.io·2d
🔧Unikernel Development
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
OpenSSF Experts Weigh in on CISA’s SBOM Minimum Elements Update
thenewstack.io·9h
🔤DSLs
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com·2h·
Discuss: Hacker News
🩹Self-Healing Systems
MiniRust
github.com·1h·
Discuss: Hacker News
🐫OCaml
VaultGemma: The world's most capable differentially private LLM
research.google·17h·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic