👑 Isabelle/HOL

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

Arkansas Housing Development Restricted to White Residents Sparks Legal Concerns
nytimes.com·2h
🧲Magnetic Philosophy
LUKS In-Place Conversion Tool
johannes-bauer.com·12h
🏺ZIP Archaeology
Beyond the Logo: How We're Weaving Full Images Inside QR Codes
blog.nitroqr.com·22h·
Discuss: Hacker News
📱QR Archaeology
This Website is Served from Nine Neovim Buffers on My Old ThinkPad
vim.gabornyeki.com·1d·
Discuss: Lobsters, Hacker News, r/neovim
🕸️WASM Archives
Why Upgrades Are Delayed: The Real, Human, Practical Reasons
chkk.io·12h·
Discuss: Hacker News
🔄Language Evolution
The lottery ticket hypothesis: why neural networks work
nearlyright.com·18h·
Discuss: Hacker News
🔲Cellular Automata
Encrypted Computation: What if Decryption Wasn’t Needed? • Katharine Jarmul • GOTO 2024
youtube.com·4d
🔐Homomorphic Encryption
ESP32-C6 and CC1101-based sub-GHz gateway supports Honeywell Ramses II protocol
cnx-software.com·1d
📻Homebrew Protocols
The Heisig method for learning sinographs
languagelog.ldc.upenn.edu·1d
🇯🇵Japanese Computing
Diving Deep: K-Fold Cross-Validation
dev.to·8h·
Discuss: DEV
🗂️Vector Search
Scientists Just Split a Single Photon. Here’s What They Found
scitechdaily.com·2h
⚛️Quantum Tape
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.com·4d
📏Code Metrics
Enhanced Regenerative Braking System via Adaptive Distributed Parameter Control Optimization
dev.to·10h·
Discuss: DEV
💾Persistent Memory
Scalable Exon Skipping Optimization via Generative Network Pruning & Dynamic Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧬Copy Number Variants
When does it make sense to talk about LLMs having beliefs?
statmodeling.stat.columbia.edu·3d
📏Linear Logic
Day 3: Dual-Ingestion Architecture - When Two Data Paths Are Better Than One
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Unlocking Insights: Data Science Case Studies and Real World Data Science Projects
dev.to·1h·
Discuss: DEV
🧪Data science
Unified Knowledge Distillation Framework: Fine-Grained Alignment and Geometric Relationship Preservation for Deep Face Recognition
arxiv.org·1d
📊Learned Metrics
Dynamic Ride-Pooling Optimization via Adaptive Bayesian Network for Urban On-Demand Transit
dev.to·2d·
Discuss: DEV
🧠Machine Learning
A shocking amount of companies are knowingly shipping insecure code - and it might be hard to recover
techradar.com·19h
📏Code Metrics