🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Weeknote: 17 August 2025 – using an iPad for work, cloud accounts, and what’s wrong with Apple
reverttosaved.com·4h·
Discuss: reverttosaved.com
🍎Apple Computing
BSD Now 624
discoverbsd.com·2d
🐡OpenBSD
linux-credentials/credentialsd
github.com·2d
🔓Open Source Software
35 Thoughts About AGI and 1 About GPT-5
secondthoughts.ai·3d
🔲Cellular Automata
Hojlund set to sit out Man Utd opener with Arsenal
bbc.com·6h
⚙Backus-Naur Form
Go 1.25 Released with Experimental Garbage Collector and New JSON API
linuxiac.com·2d
🕸️WASM Archives
My attempt at replacing cloud services
i.redd.it·2d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
Evaluating LLMs Playing Text Adventures
entropicthoughts.com·5d·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
Emacs 30.2 Has Been Released
irreal.org·2d
🔓Open Source Software
Fractal-Down
dev.to·2d·
Discuss: DEV
📊Performance Profiling
'The sign of champions' or reasons to worry for Arsenal?
bbc.com·41m
⚡Proof Automation
Automated Predictive Material Degradation Modeling for Adult Incontinence Pads
dev.to·1d·
Discuss: DEV
🧲Cassette Physics
Automate AIOps with SageMaker Unified Studio Projects, Part 2: Technical implementation
aws.amazon.com·5d
🔄Archival Workflows
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·4d·
Discuss: DEV
📏Code Metrics
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·4d·
Discuss: DEV
🔗Constraint Handling
Vive la Difference: Practical Diff Testing of Stateful Applications
muratbuffalo.blogspot.com·4d·
Discuss: www.blogger.com
✅Archive Fixity
The brink of new AI standard
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
The Debugging Trick No One Talks About: Letting AI Guess Before You Do
dev.to·3d·
Discuss: DEV
👁️System Observability
AI-Driven Biomarker Discovery via Multi-Modal Data Fusion & HyperScore Validation
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Software Engineering Laws - Risk & Security
leadership.garden·3d
🛡️CLI Security