🏛️ Isabelle HOL

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

Moving SatDump Towards V2.0.0
rtl-sdr.com·1d
📻Homebrew Protocols
Show HN: Mapping the Network Behind "The Network State"
evai.ai·2d·
Discuss: Hacker News
📡BGP Archaeology
Single Sign On for Furries
cendyne.dev·1d·
Discuss: Lobsters
🏠Homelab Federation
AI‐Induced Dehumanization
myscp.onlinelibrary.wiley.com·1d·
Discuss: Hacker News
🔲Cellular Automata
We Create
linus.coffee·3d·
Discuss: Hacker News
🎯Content Recommendation
LLM Context Rot
valinsky.dev·4d·
Discuss: Hacker News
🌳Context free grammars
How XProtect’s detection rules have changed 2019-25
eclecticlight.co·1d
🧬Bitstream Evolution
Why transparency beats everything else in engineering
victoronsoftware.com·2d·
Discuss: Hacker News
👁️System Observability
How we're shipping faster with Claude Code and Git Worktrees
incident.io·6d·
Discuss: Hacker News
🦀Rust Macros
AI UX ≠ Classic UX: A Practical Guide for Designers
hackernoon.com·3d
📟CLI Design
🚀 Supercharge Your Kubernetes Workflow with These AI Co-pilots! 🤖
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
The Urgency of Open Source AI
dev.to·2d·
Discuss: DEV
🔓Open Source Software
Predictive Risk Scoring for Histamine Fish Spoilage Utilizing Multi-Modal Sensor Fusion and Bayesian Network Modeling
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Automated Real-Time Inventory Optimization via Dynamic Bayesian Network Calibration in Control Towers
dev.to·4d·
Discuss: DEV
🔗Supply Chain
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.org·4d
📊Learned Metrics
CROP: Integrating Topological and Spatial Structures via Cross-View Prefixes for Molecular LLMs
arxiv.org·4d
🤖Paleographic ML
How I Built a Consistent Error Handling System for FastAPI, a.k.a. APIException
dev.to·3d·
Discuss: DEV
⚡gRPC
Dynamic Uncertainty-aware Multimodal Fusion for Outdoor Health Monitoring
arxiv.org·3d
📈Mutual Information
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·2d
🧠Intelligence Compression
An Unsupervised Deep XAI Framework for Localization of Concurrent Replay Attacks in Nuclear Reactor Signals
arxiv.org·2d
🔍Vector Forensics