🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Microsoft Adds Agentic AI Capabilities to Sentinel
darkreading.com·2d
📊Homelab Monitoring
Science on a Sphere: Aerosols in the Air
svs.gsfc.nasa.gov·1h·
Discuss: Hacker News
📜Document Physics
Back to the Southern Hemisphere Commodore 128DCR
oldvcr.blogspot.com·15h·
Discuss: oldvcr.blogspot.com
⚡Circuit Archaeology
AMD Amps Up Chip War - But Nvidia's Still Leading
slashdot.org·3h
🖥️Modern Terminals
Bitcoin Core 30.0
bitcoincore.org·17h·
Discuss: Hacker News
🧬Bitstream Evolution
Run Express server in the browser (2016)
glebbahmutov.com·19h·
Discuss: Hacker News
🌊Streaming Systems
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·3d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Picking an AI Code Reviewer
markmarkoh.com·2d·
Discuss: Hacker News
📏Code Metrics
The Project That Made Me Choose C Again
hackernoon.com·3d
🔩Systems Programming
Codeminer42 Dev Weekly #82
blog.codeminer42.com·2d
🎯Gradual Typing
Building with Agents, Not Code
basisset.com·3d·
Discuss: Hacker News
⚡Proof Automation
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·3d·
Discuss: r/MachineLearning
💻Local LLMs
How do you monitor incoming network requests on Ubuntu?
reddit.com·1d·
Discuss: r/homelab
📡Network Monitoring
Unsure what to do as lab has grown
reddit.com·2d·
Discuss: r/homelab
🖥Home Lab Setup
From ML Beginner to Production Engineer: How I’m Leveling Up My AI Projects
dev.to·10h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·4d
🧮Kolmogorov Bounds
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI-assisted software engineering
dev.to·3d·
Discuss: DEV
⚡Effectful Programming
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: How to Build AI Agents in Python
dev.to·22h·
Discuss: DEV
⚔️Lean Tactics