🏛️ Isabelle HOL

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

Funding Open Source like public infrastructure
dri.es·4h·
Discuss: r/opensource
🔓Open Source Software
The WETC Double-Spend
blog.verichains.io·2h
🎫Kerberos Attacks
Deleting the Wrong Part or Process: Concrete Thinking in Software Organizations
blog.colinbreck.com·2d
💾Persistence Strategies
OTW - Bandit Level 1 to Level 2
tbhaxor.com·5d
📝Shell Parsing
Guess what else GPT-5 is bad at? Security
cyberscoop.com·18h
🔓Hacking
Show HN: A fun side project on chivalry and virtues
chivalrytest.online·10h·
Discuss: Hacker News
🔍Concolic Testing
We Keep Reinventing CSS, but Styling Was Never the Problem
denodell.com·22h·
Discuss: Hacker News
🦋Format Metamorphosis
Running Guitar Effects on a PlayStation Portable
hackaday.com·3h
🎵Gameboy Sound
Integrating Dermaplaning Equipment with IoT Sensors for Real-Time Monitoring
dev.to·13h·
Discuss: DEV
🏠Home Automation
Foundation models are going multimodal
twelvelabs.io·2d·
Discuss: Hacker News
📊Learned Metrics
Building a Voting Machine Everyone Can Trust
usenix.org·4h
🔗Hash Chains
whats a good lightweight distro for tiny sandbox machines
reddit.com·4h·
Discuss: r/homelab
🔌Operating system internals
Enhanced Adiabatic Process Modeling via Iterative Ensemble Kalman Filtering
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Claude’s Chat History and App Integrations as a Form of Lock-In
macstories.net·1d
🔄Sync Engine
buddy ai collaborator needed
dev.to·1d·
Discuss: DEV
🎙️Whisper
Automated Isotope Fractionation Analysis via Hyperdimensional Semantic Mapping
dev.to·2d·
Discuss: DEV
📜Binary Philology
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·7h
🔲Cellular Automata
Enhanced Spectroscopic Characterization of Perovskite Films via Dynamic Raman-Mie Scattering Analysis
dev.to·5h·
Discuss: DEV
🌈Spectroscopy
Quantized Graph Neural Networks for Enhanced Causal Dynamical Triangulation Simulations
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
Automated Histone Modification Dynamics Modeling via Multi-Modal Data Integration
dev.to·2d·
Discuss: DEV
🧠Machine Learning