👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Pebblebee Is Getting Serious About Personal Safety Tracking
wired.com·5h
🏠Home Automation
Are membrane keyboard switches good for gaming?
techradar.com·4h
⌨️Mechanical Keyboards
Book Review: The Math Academy Way
ijfen.substack.com·3d·
Discuss: Substack
📚Proof Pedagogy
Three AI Futures
cacm.acm.org·2d·
Discuss: Hacker News
🔲Cellular Automata
AI and Faster Attack Analysis [Guest Diary], (Wed, Aug 13th)
isc.sans.edu·3d
⚡Proof Automation
How to Use LLMs for Powerful Automatic Evaluations
towardsdatascience.com·3d
🔗Constraint Handling
A Unified Framework from Boltzmann Transport to Proton Treatment Planning
arxiv.org·2d
⚛️Information Physics
Bob v0.40.0: Modular Code Generation for your Database
reddit.com·3d·
Discuss: r/golang
🌀Brotli Internals
ESP32 USB Host MIDI Library
hackster.io·2d
🎹MIDI Archaeology
How to Convert ML Models to ONNX Format: A Complete Guide
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
The Testing Paradox: Why 90% of IT Projects Are Late and How to Break the Cycle
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
AI-First Development: 95% Autonomous Code Generation
dev.to·4d·
Discuss: DEV
🌍Cultural Algorithms
Transformer-Driven Neo-Antigen Prediction for Enhanced CAR-T Cell Therapy Efficacy
dev.to·19h·
Discuss: DEV
📐Vector Dimensionality
Meta’s AI chatbot guidelines leak raises questions about child safety
techradar.com·1d
🤖AI Curation
Enhanced Nanoparticle Detection & Quantification via Multi-Modal Spectral Deconvolution
dev.to·3h·
Discuss: DEV
🌈Spectroscopy
Tokenization Made Simple: How AI Turns Words into Numbers
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·5d·
Discuss: Hacker News
🔐CBOR
Remote Sensing Image Intelligent Interpretation with the Language-Centered Perspective: Principles, Methods and Challenges
arxiv.org·5d
📸TIFF Archaeology
Building Four Dog Paws: the story, the code, the challenges, and the roadmap
dev.to·3d·
Discuss: DEV
📊Feed Optimization
Dynamic Thermal Resilience Optimization in 3D-Stacked DRAM via Adaptive Power Gating and Real-Time Thermal Profiling
dev.to·58m·
Discuss: DEV
🖥️Hardware Architecture