🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Podcast Episode 85: AI and Authoritarianism
blog.vasi.li·9h
📰RSS Archaeology
Achieving Multitenancy in a Rails App Using CurrentAttributes
hashrocket.com·14h
🔐CBOR
A Gentle Introduction to Q-Learning
machinelearningmastery.com·15h
🔲Cellular Automata
The PixelWeaver – chrisfenton.com
chrisfenton.com·13h
🗃️Punched Cards
Exposed Without a Breach: The Cost of Data Blindness
securityaffairs.com·16h
🔓Hacking
Project Euler
projecteuler.net·2d·
Discuss: Hacker News
📊APL Heritage
Time Logging Helps You Regain Focus and Take Back Your Day
mindthenerd.com·14h·
Discuss: Hacker News
⏱️Interval Archives
Synthetic Biology for Space Exploration
nature.com·1d·
Discuss: Hacker News
🧊Arctic Storage
Help me understand what this guy means by LLMs and language?
arstechnica.com·13h·
Discuss: Hacker News
🌳Context free grammars
New Game AI Turns Photos Into Playable Worlds! | Celebrating 10 Years Of Papers! 🎂
youtube.com·9h
🔲Cellular Automata
Thinking of Upgrading My Home Server – Looking for Advice (Beginner)
youtube.com·2d·
Discuss: r/homelab
🏠HomeLab
General CPU µArch Research Thread
forums.anandtech.com·3d
⚙️RISC-V Microcode
Perplexity accused of breaking a major online AI scraping rule - but it says it has done nothing wrong
techradar.com·15h
🌐WARC Forensics
Graph Lineages and Skeletal Graph Products
arxiv.org·1d
🔗Graph Isomorphism
HALO: Human Preference Aligned Offline Reward Learning for Robot Navigation
arxiv.org·23h
🔲Cellular Automata
Machine Learning Fundamentals: loss function tutorial
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
The AI-Augmented Research Process: A Historian's Perspective
arxiv.org·23h
🏰Medieval Parsing
Rust Making Progress On Its 2025 Project Goals
phoronix.com·2h·
Discuss: Hacker News
🦀Rust Borrowing
Python Module to Calibrate Humidity and Dust Sensors After Construction Work
dev.to·1d·
Discuss: DEV
🏠Home Automation
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·5d·
Discuss: DEV
🔗Lisp