🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

I built a self-hosted alternative to Apple's Hide My Email service
webmonch.dev·14h·
Discuss: Hacker News
🛡️WASM Sandboxing
The sisters "paradox" – counter-intuitive probability
blog.engora.com·20h·
Discuss: Hacker News
🔲Proof Irrelevance
Lightning Is Misunderstood
bitcoinmagazine.com·8h·
Discuss: Hacker News
🤝Distributed Consensus
Mississippi’s age assurance law puts decentralized social networks to the test
techcrunch.com·14h
🖥️Self-hosted Infrastructure
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·3d
🛠System administration
Microsoft AI assistant Copilot launches on Samsung TVs and monitors
the-decoder.com·18h
🤖AI Curation
The Android Bluetooth Connection
hackaday.com·1d
🔌Interface Evolution
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·4d·
Discuss: Hacker News
💾Binary Linguistics
IBM and AMD are coming together to 'build the future of computing' and yes - it's all about quantum computing
techradar.com·16h
🔐Quantum Security
Gov. Gavin Newsom estimates 4,000 stolen vehicles recovered ‘in Oakland alone’ by CHP officers
mercurynews.com·10h
🚨Incident Response
Nx npm Packages Compromised in Supply Chain Attack Leveraging AI CLI Tools
socket.dev·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
NEAT: Concept driven Neuron Attribution in LLMs
arxiv.org·4d
💻Local LLMs
How Smart Aluminum Fences Are Transforming Business Security
dev.to·3d·
Discuss: DEV
🏠Home Automation
HLLM-Creator: Hierarchical LLM-based Personalized Creative Generation
arxiv.org·3d
🎯Content Recommendation
RADAR: A Reasoning-Guided Attribution Framework for Explainable Visual Data Analysis
arxiv.org·3d
📊Learned Metrics
QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
arxiv.org·3d
🌀Brotli Internals
The surveillance browser trap: AI companies are copying Big Tech’s worst privacy mistakes
techradar.com·1d
🚀Indie Hacking
CarboNet: A Finite-Time Combustion-Tolerant Compartmental Network for Tropospheric Carbon Control
arxiv.org·3d
🧮Algorithmic Cooking
MAB Optimizer for Estimating Math Question Difficulty via Inverse CV without NLP
arxiv.org·2d
🧠Intelligence Compression
Wiring gaming PC located in server room to the desks
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab