🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Three Solutions to Nondeterminism in AI
blog.hellas.ai·21h·
Discuss: Hacker News
🎯Performance Proofs
Real-Time Anomaly Attribution via Hybrid Graph Neural Network & Causal Inference
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
From Millions to Billions
geocod.io·23h·
Discuss: Hacker News
🗄️Database Internals
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·2d
⚡Incremental Computation
The Lost Art of Semaphores
aivarsk.com·2h·
Discuss: Hacker News
📟Vintage Protocols
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·15h·
Discuss: Hacker News
🔓Reverse engineering
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·14h·
Discuss: Hacker News
⚡Homebrew CPUs
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·3d
⬆️Lambda Lifting
Ask HN: Systems Development Path
news.ycombinator.com·4d·
Discuss: Hacker News
🦀Rust Borrowing
Beating the L1 cache with value speculation (2021)
mazzo.li·2d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.com·2d
🔗Constraint Handling
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·20h·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·1d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·10h·
Discuss: Hacker News
🏗️Compiler Archaeology
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·2h·
Discuss: Hacker News
🛡️eBPF Security
Design Principle: Composable Services
sleepingpotato.com·2d·
Discuss: Hacker News
⚡gRPC
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·5h
🧠Intelligence Compression
Defeating Return Type Polymorphism
philipphagenlocher.de·12h·
Discuss: Hacker News
🧬Functional Programming
Taming Video Processing Chaos with Domain-Driven Design in Symfony
hackernoon.com·1d
🌊Streaming Systems