🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Open Lineage
usenix.org·8h
🔌Interface Evolution
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Implementing ZADD If Key Exists
rozumem.xyz·6h·
Discuss: Hacker News
⚡Redis Internals
The Lost Art of Semaphores
aivarsk.com·1d·
Discuss: Hacker News
📟Vintage Protocols
Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.com·2d·
Discuss: Hacker News, r/programming
🔒Linear Types
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·23h·
Discuss: Hacker News
🔐Hash Functions
What if intelligence isn't biological accident, but mathematical necessity?
medium.com·20h·
Discuss: Hacker News
🔲Cellular Automata
Ask HN: Systems Development Path
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·2d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·4d
⬆️Lambda Lifting
InferenceMAX: Open-Source Inference Benchmarking
newsletter.semianalysis.com·13h·
Discuss: Hacker News
📊Performance Profiling
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·3d
🎯Performance Proofs
The Custom Portal Design: Building Your Own Context Managers
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·8h
📐Compression Bounds
The Alert System: Try, Except, and Finally
dev.to·14h·
Discuss: DEV
🌳Incremental Parsing
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·8h
💻Programming languages
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·1d
💻Local LLMs
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·8h
⚡Proof Automation
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·8h
🧠Machine Learning
Why The Future of Code Is More Human Than Ever
dev.to·5h·
Discuss: DEV
📏Code Metrics