🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
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
Quantum computing is "mission crtical"
federalnewsnetwork.com·4h·
Discuss: Hacker News
⚛️Quantum Tape
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·1d
🧠Intelligence Compression
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Ask HN: Systems Development Path
news.ycombinator.com·6d·
Discuss: Hacker News
🦀Rust Borrowing
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Blinter the Linter – A Cross Platform Batch Script Linter
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
InferenceMAX: Open-Source Inference Benchmarking
newsletter.semianalysis.com·18h·
Discuss: Hacker News
📊Performance Profiling
Kubetorch: Fast ML Development on Kubernetes
run.house·23h·
Discuss: Hacker News
🏠Homelab Orchestration
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·13h
📐Compression Bounds
The Alert System: Try, Except, and Finally
dev.to·19h·
Discuss: DEV
🌳Incremental Parsing
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·13h
💻Programming languages
In-Depth Analysis: "Attention Is All You Need"
dev.to·2h·
Discuss: DEV
🧠Intelligence Compression
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·13h
⚡Proof Automation