🏛️ Isabelle HOL

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

Sequential
inkdroid.org·3d
ℹ️Information Theory
Otto Kekäläinen: Best Practices for Submitting and Reviewing Merge Requests in Debian
optimizedbyotto.com·1d·
Discuss: Hacker News
❄️Nix Flakes
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·4d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Principles of Physiological Closed-Loop Controllers in Neuromodulation
arxiv.org·1d
✨Effect Handlers
Robust Online Calibration for UWB-Aided Visual-Inertial Navigation with Bias Correction
arxiv.org·1d
📊Computational Geometry
Abundance-Aware Set Transformer for Microbiome Sample Embedding
arxiv.org·1d
🗂️Vector Databases
My Year of Rust
xavd.id·5d·
Discuss: Hacker News
🦀Rust Macros
MobQA: A Benchmark Dataset for Semantic Understanding of Human Mobility Data through Question Answering
arxiv.org·1d
🔍Semantic Search
We are gen Z – and AI is our future. Will that be good or bad?
theguardian.com·3d
🤖AI Curation
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·1d
🔗Monadic Parsing
Citations with Amazon Nova understanding models
aws.amazon.com·4d
🤖AI Curation
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·4d
📋Document Grammar
Automated Granular Pest Detection & Remediation via Multi-Modal Sensor Fusion in Vertical Farms
dev.to·3d·
Discuss: DEV
📐Information Geometry
Enhanced Geothermal Energy Extraction via Hybrid Reservoir Characterization and Optimized Fracturing Algorithms
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Optimal CO2 storage management considering safety constraints in multi-stakeholder multi-site CCS projects: a game theoretic perspective
arxiv.org·1d
👑Coq Tactics
Automated Anomaly Detection & Predictive Maintenance via Graph Neural Network Fusion in High-Throughput Manufacturing
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Build a Real-World IROPS Re-accommodation Workflow with KaibanJS
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
Towards Generalizable Learning Models for EEG-Based Identification of Pain Perception
arxiv.org·2h
🧠Machine Learning
Death of High-Level Design in 2025
dev.to·3d·
Discuss: DEV
🔄Language Evolution
The Human-AI Hybrid Delphi Model: A Structured Framework for Context-Rich, Expert Consensus in Complex Domains
arxiv.org·5d
🧠Intelligence Compression