🏛️ Isabelle HOL

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

This IKEA Shelf Was the Missing Piece Her Custom Pantry Needed
ikeahackers.net·13h
🏠Homelab Preservation
Android’s pKVM Becomes First Globally Certified Software to Achieve Prestigious SESIP Level 5 Security Certification
security.googleblog.com·1d·
Discuss: www.blogger.com
🛡️ARM TrustZone
Thoughts on creating a tracking pointer class, part 3: Using a std::vector
devblogs.microsoft.com·11h
🔄Lens Laws
Mathematical family
cameroncounts.wordpress.com·5d
⚔️Lean Theorem
Sam Altman’s lobtailing ↦
sixcolors.com·1d
🌀Brotli Internals
Workshop Announcement: Building embedded GUIs with Rust and Slint at Oxidize Conference 2025
oxidizeconf.com·17h
🦀Embedded Rust
Is Meta Scraping the Fediverse for AI?
wedistribute.org·23h·
Discuss: Hacker News
📰RSS Reading Practices
Show HN: XR2000: A science fiction programming challenge
clearsky.dev·1d·
Discuss: Hacker News
🦀Rust Borrowing
Three tragedies that shape human life in age of AI and their antidotes
link.springer.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Claude can now process entire software projects in single request, Anthropic says
venturebeat.com·1d·
Discuss: Hacker News
⚙️Batch Processing
Is GPT-OSS Really Open? Inside OpenAI’s Most Transparent Model Yet
hackernoon.com·1d
🔓Open Source Software
President of the Midnight Foundation Fahmi Syed on The Glacier Drop, Rational Privacy, and More
hackernoon.com·13h
🔗Hash Chains
Urban-STA4CLC: Urban Theory-Informed Spatio-Temporal Attention Model for Predicting Post-Disaster Commercial Land Use Change
arxiv.org·21h
🔶Voronoi Diagrams
EchoAid: Enhancing Livestream Shopping Accessibility for the DHH Community
arxiv.org·1d
✋Tactile Computing
LaVieID: Local Autoregressive Diffusion Transformers for Identity-Preserving Video Creation
arxiv.org·1d
📊Learned Metrics
Adaptive Learning for IRS-Assisted Wireless Networks: Securing Opportunistic Communications Against Byzantine Eavesdroppers
arxiv.org·1d
🧠Machine Learning
Beyond Automation: The Role of AI and Gen AI in Modern Software Testing
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Enhanced Vacuum Insulation Panel Performance via Multi-Modal Data Fusion and Compliant Structure Optimization
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Uncertainty-aware Cross-training for Semi-supervised Medical Image Segmentation
arxiv.org·21h
🌀Riemannian Computing
DiffPose-Animal: A Language-Conditioned Diffusion Framework for Animal Pose Estimation
arxiv.org·21h
🧠Machine Learning