🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Bookshelf: Summer 2025
placesjournal.org·1d
🏛Digital humanities
Cobra & Viper Fortify Security as Part of GitHub Secure Open Source Fund
spf13.com·2d
🔓Open Source Software
Smart Glasses Help Train General-Purpose Robots
spectrum.ieee.org·1d·
Discuss: Hacker News, r/technews
🤖Tape Automation
Let’s Brief You on Recent Developments for Electrostatic Motors
hackaday.com·6h
⚙️Tape Mechanics
Want a video doorbell? Ring is having a massive summer sale, and I've picked the 3 best deals
techradar.com·57m
🏠Home Automation
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·3d
🧬Palindrome Codes
Blockchain Wants to Be the Dealer in Your Next Game of Poker
hackernoon.com·4h
🔗Hash Chains
Developing and Validating a High-Throughput Robotic System for the Accelerated Development of Porous Membranes
arxiv.org·3d
📄Document Digitization
Ishii: Public financing opened the door for me. A state Senate bill can do that for others.
mercurynews.com·28m
💻Local first
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·3d
🔲Proof Irrelevance
MedSAMix: A Training-Free Model Merging Approach for Medical Image Segmentation
arxiv.org·3d
🌀Riemannian Computing
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·1d
🗂️Vector Search
[Media] I've been working on a text editor that is written and configured in Rust. Is there any interest in this?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
AI Agents in the Dev Workflow: Why You Should Start Building Them Now
dev.to·23h·
Discuss: DEV
🌊Stream Processing
Correlations Are Ruining Your Gradient Descent
arxiv.org·1d
🧠Machine Learning
From Passive Tool to Socio-cognitive Teammate: A Conceptual Framework for Agentic AI in Human-AI Collaborative Learning
arxiv.org·7h
🗺️Competency Maps
Building my first mini home NAS/homelab — advice wanted!
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Accelerated Drug-Target Affinity Prediction via Hybrid Molecular Dynamics and Graph Neural Networks
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Is General-Purpose AI Reasoning Sensitive to Data-Induced Cognitive Biases? Dynamic Benchmarking on Typical Software Engineering Dilemmas
arxiv.org·3d
🧠Intelligence Compression
Bad news - most devs believe AI is going to kill 'most or all' of their company's marketing department
techradar.com·2d
🎯Content Recommendation