🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Restoration of top cover glass for IBM 1132 printer
rescue1130.blogspot.com·16h·
Discuss: rescue1130.blogspot.com
🗃️Punch Card Recovery
The 5 Best Drywall Sanders for Smooth Walls (Without a Huge Mess)
popularmechanics.com·18h
🖥️Modern Terminals
Hacking in the Matrix
godaccess.substack.com·3d·
Discuss: Substack
🔓Hacking
Use of Physicochemical Modification Methods for Producing Traditional and Nanomodified Polymeric Composites with Improved Operational Properties
arxiv.org·10h
🧪Cassette Chemistry
Apple has just released an update to XProtect for all macOS
eclecticlight.co·20h
🔌Operating system internals
UK government trial of M365 Copilot finds no clear productivity boost
theregister.com·4h
🖥️Terminal Renaissance
AI Transforms Football Scouting Forever
dev.to·14h·
Discuss: DEV
🤖AI Curation
Predicting Movie Success with Multi-Task Learning: A Hybrid Framework Combining GPT-Based Sentiment Analysis and SIR Propagation
arxiv.org·10h
⚖️Feed Ranking
For Donald Trump, Everything Is an Emergency
nytimes.com·4h
⚡Proof Automation
In brief: Berkeley offers grants to retrofit homes for quake readiness
mercurynews.com·20h
💻Local first
DigitalBridge Group, Inc. (DBRG) Presents At Barclays 39th Annual CEO Energy-Power Conference 2025 Transcript
seekingalpha.com·16h
⏳Time Capsule Networks
Use ADAS Data to Predict Near-Miss Events: A Group-Based Zero-Inflated Poisson Approach
arxiv.org·10h
🧠Machine Learning
Temporal social network modeling of mobile connectivity data with graph neural networks
arxiv.org·10h
🕸️Graph Embeddings
Clustering Discourses: Racial Biases in Short Stories about Women Generated by Large Language Models
arxiv.org·10h
📚Digital Humanities
Balling on a budget... "upgrade" my Supermicro 846?
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Preservation
Apertus: An open, transparent, multilingual language model
swisscom.ch·2d·
Discuss: Hacker News, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
OpenAI to route sensitive conversations to GPT-5, introduce parental controls
techcrunch.com·1d
🏠Home Automation
Day 82: When Professors Attack and OCaml Puts You to Sleep
dev.to·2d·
Discuss: DEV
λLambda Encodings
Pose as Clinical Prior: Learning Dual Representations for Scoliosis Screening
arxiv.org·1d
🌀Differential Geometry
Black Hat Investigation: Attempted Exploitation of Registration Server
blogs.cisco.com·1d
🛣️BGP Hijacking