🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

The Lost Art of Semaphores
aivarsk.com·1d·
Discuss: Hacker News
📟Vintage Protocols
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Quantum computing is "mission crtical"
federalnewsnetwork.com·13h·
Discuss: Hacker News
⚛️Quantum Tape
From Millions to Billions
geocod.io·2d·
Discuss: Hacker News
🗄️Database Internals
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Blinter the Linter – A Cross Platform Batch Script Linter
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
Kubetorch: Fast ML Development on Kubernetes
run.house·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·2h·
Discuss: DEV
📡RSS Automation
Agentic AI Will Fail Without Context: Why Enterprises Need Connected Data Threads
future.forem.com·8h·
Discuss: DEV
⚙️TLA+
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·22h
⚡Proof Automation
Evaluating Small Vision-Language Models on Distance-Dependent Traffic Perception
arxiv.org·22h
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
📊Multi-vector RAG
Why The Future of Code Is More Human Than Ever
dev.to·19h·
Discuss: DEV
📏Code Metrics
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·4d·
Discuss: DEV
📏Code Metrics
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·1d
⚔️Lean Tactics