🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Open Lineage
usenix.org·2h
🔌Interface Evolution
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·2d
🎯Proof Tactics
The Chip That Spoke Lisp
jxself.org·2d
🤖Lisp Machines
Implementing ZADD If Key Exists
rozumem.xyz·36m·
Discuss: Hacker News
⚡Redis Internals
The Lost Art of Semaphores
aivarsk.com·23h·
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
What if intelligence isn't biological accident, but mathematical necessity?
medium.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·17h·
Discuss: Hacker News
🔐Hash Functions
Ask HN: Systems Development Path
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·3d
⬆️Lambda Lifting
InferenceMAX: Open-Source Inference Benchmarking
newsletter.semianalysis.com·7h·
Discuss: Hacker News
📊Performance Profiling
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·2h
🧮Kolmogorov Complexity
AI Agent Building Block: Native App Automation
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The Custom Portal Design: Building Your Own Context Managers
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·11h·
Discuss: DEV
⚡Proof Automation
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·3d
🎯Performance Proofs
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2h
📐Compression Bounds
The Alert System: Try, Except, and Finally
dev.to·8h·
Discuss: DEV
🌳Incremental Parsing
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·2h
💻Programming languages
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros