🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Show HN: NotifyOn – A simple way to notify users when long agent tasks finish
notifyon.app·4d·
Discuss: Hacker News
🌊Streaming Systems
Learning web development: Installing npm packages and bundling
2ality.com·1d
📦Package Managers
Being Good Isn't Enough
joshs.bearblog.dev·1d·
Discuss: Hacker News
🗺️Competency Maps
The History of Smartphones from Keypads to Touchscreens
dev.to·1d·
Discuss: DEV
🇫🇮Finnish Computing
How do we get more Year 12s doing math?
phys.org·12h
📐Mathematical Art
I live in a different country to my husband but we're still happily married
bbc.com·2h
🏠Personal Archives
Dismissing View Models in SwiftUI Is Stifling Maintainability and Testability
matteomanferdini.com·5d·
Discuss: Hacker News
🔄Finite State Machines
I hope the Apple Watch Ultra 3 steals this essential Google Pixel Watch 4 feature, so I don't have to upgrade again so soon
techradar.com·1d
📡Bluetooth Archaeology
FreeBSD 15.0 Alpha 1 Released For Early Testing
phoronix.com·16h
🐡OpenBSD
Cloud Storage Myths Debunked, Part Four: Managing Multiple Clouds Is Too Complicated
backblaze.com·5d
🖥️Self-hosted Infrastructure
Two Days, One App: How AI Turned Me into an Under‑8 Tennis Umpire
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Has anyone else learned the hard way about choosing the wrong co-founder?
news.ycombinator.com·10h·
Discuss: Hacker News
🚀Indie Hacking
Trump Tramples Congress’s Power, With Little Challenge From G.O.P.
nytimes.com·22h
🔐Capability Security
AI that plans your meals so you do not have to
future.forem.com·1d·
Discuss: DEV
🧮Algorithmic Cooking
2nd Place Solution for CVPR2024 E2E Challenge: End-to-End Autonomous Driving Using Vision Language Model
arxiv.org·3d
🎙️Whisper
AgenTracer: Who Is Inducing Failure in the LLM Agentic Systems?
arxiv.org·3d
👁️Observatory Systems
Can General-Purpose Omnimodels Compete with Specialists? A Case Study in Medical Image Segmentation
arxiv.org·4d
🧠Machine Learning
Agent Diary: Sep 5, 2025 - The Sound of Silence (And My CPU Cooling Down)
dev.to·2d·
Discuss: DEV
🎙️Whisper
Home server from old office PCs
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Archaeology
How to Use AI for Lead Generation
dev.to·2d·
Discuss: DEV
📊Feed Optimization