🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Nantucket Waste Tests 50% Higher for Cocaine then Nat. Average
nantucket-ma.gov·13h·
Discuss: Hacker News
💿DAT Forensics
Make Your Own Game Engine
gamesbymason.com·1d
⚖️Game Preservation Ethics
Action! was the best 8-bit programming language
goto10retro.com·5d·
Discuss: Hacker News, Hacker News
🖥️Vintage Macintosh
Binge-Watching Might Actually Be Good for You, Study Finds
scitechdaily.com·23h
🎯Content Recommendation
Bridging the network cost gap: Operators need traffic-based cost intelligence
ciodive.com·4d·
Discuss: Hacker News
📡Network Monitoring
The Clue to Unlocking Parkinson’s May Be All Around Us
nytimes.com·11h
💿DAT Forensics
Study shows mandatory cybersecurity courses do not stop phishing attacks
techspot.com·1d·
Discuss: r/technews
🎯Threat Hunting
Software-on-demand – experiments
metrics.blogg.gu.se·4d
🔓Open Source Software
A better life is possible - but only if you dive deep into your unconscious
theguardian.com·11h
🧲Magnetic Philosophy
The Coming War on General Computation
opentranscripts.org·4d·
Discuss: Hacker News
🧲Magnetic Philosophy
The High Cost of Keeping Warm: Characterizing Overhead in Serverless Autoscaling Policies
arxiv.org·4d
🌊Streaming Systems
Warming Up for Zeroth-Order Federated Pre-Training with Low Resource Clients
arxiv.org·4d
📊Quantization
Automatic Differentiation of Agent-Based Models
arxiv.org·4d
🔲Cellular Automata
Towards Digital Twins for Optimal Radioembolization
arxiv.org·4d
🧲Magnetic Resonance
Empowering Visual Learning with AI: My Submission for the Google AI Studio Challenge
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
AWS Toronto Summit 2025 - My Experience at DEV202 session
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Binary Quantization For LLMs Through Dynamic Grouping
arxiv.org·4d
💻Local LLMs
Can LLMs Lie? Investigation beyond Hallucination
arxiv.org·4d
💻Local LLMs
Using explainable artificial intelligence (XAI) as a diagnostic tool: An application for deducing hydrologic connectivity at watershed scale
arxiv.org·5d
🌀Differential Geometry
First setup
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup