🏛️ Isabelle HOL

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

Utilities, Factories at Risk From Encryption Holes in Industrial Protocol
darkreading.com·15h
🔓Hacking
OpenSSH Enhances Security with Post-Quantum Cryptography
discoverbsd.com·19h
🐡OpenBSD
EU AI-Act: A Startup’s Guide to Compliance and Innovation
brajeshwar.com·1d
⚖️Legal Compliance
New Embargo group may be a rebranded version of ALPHV ransomware gang
metacurity.com·17h
🎫Kerberos Attacks
Why do we agree to take off our shoes at the airport?
phys.org·11h·
Discuss: Hacker News
🧲Magnetic Philosophy
Build durable workflows with Postgres
dbos.dev·3d·
Discuss: Hacker News
🌊Streaming Databases
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·2d·
Discuss: Hacker News
📏Code Metrics
Matter’s latest update doubles down on stability and pushes the platforms to play better together
theverge.com·19h
🏠Home Automation
DARPA announces $4M winner of AI code review competition at DEF CON
therecord.media·15h·
Discuss: Hacker News
⚙️Proof Engineering
Terminal User Interfaces: Review of Crush (Ex-OpenCode Al)
thenewstack.io·2d
🐚Nordic Shell
GeRe: Towards Efficient Anti-Forgetting in Continual Learning of LLM via General Samples Replay
arxiv.org·5d
💻Local LLMs
Go Deh celebrations!
paddy3118.blogspot.com·1d·
Discuss: paddy3118.blogspot.com, r/programming
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A Bird in the Hand is worth... a Pigeon Hole Principle
pballew.blogspot.com·3d·
Discuss: www.blogger.com
🔲Cellular Automata
Automated Ontology-Driven Gene Variant Prioritization via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
🧬Copy Number Variants
A Two-Tier Approach to Buy It Again Recommendations Using Category and Item Models
hackernoon.com·13h
🎯Content Recommendation
Scalable Hierarchical Anomaly Detection in Advanced Plasma Confinement Systems
dev.to·9h·
Discuss: DEV
🏠Homelab Archaeology
Med-GRIM: Enhanced Zero-Shot Medical VQA using prompt-embedded Multimodal Graph RAG
arxiv.org·3h
🔍Information Retrieval
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·5d
🤖Automated Parsing
Zero-Direction Probing: A Linear-Algebraic Framework for Deep Analysis of Large-Language-Model Drift
arxiv.org·3h
🧮Kolmogorov Complexity
Automated Knowledge Synthesis & Validation for Scientific Literature Review
dev.to·4d·
Discuss: DEV
🔬Academic Search