🏛️ Isabelle HOL

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

Buypass Terminates Issuance of GoSSL Certificates
community.buypass.com·15h·
Discuss: Hacker News
🔐Certificate Analysis
Linux Foundation's New Banned Words: Hung, Pow-Wow, & Sanity Check
lunduke.substack.com·21h·
Discuss: Substack
📝ABNF Extensions
Particles behind dark matter? With a trick probably found trace of axions
heise.de·13h
🌡️Preservation Physics
German bureaucracy and funding biggest hurdles for start-ups
heise.de·13h
🇩🇪German Computing
Handling long-running LLM streams in a stateful backend
blog.leap.new·4d·
Discuss: Hacker News
🌊Streaming Systems
Tokenisation Opens Doors Once Closed to Retail Investors
hackernoon.com·21h
🔍BitFunnel
Congestion control at IETF 123
blog.apnic.net·1d
📡Network Protocol Design
Show HN: Catjam a VSCode extension that grooves with your typing speed
github.com·11h·
Discuss: Hacker News
🔠Terminal Fonts
Amazon is still struggling to stem the flood of AI-generated fake books
the-decoder.com·1d
📰RSS Reading Practices
The Hidden Engineering Behind Building Massive Software Images
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
A CLIP-based Uncertainty Modal Modeling (UMM) Framework for Pedestrian Re-Identification in Autonomous Driving
arxiv.org·22h
📊Learned Metrics
RealAC: A Domain-Agnostic Framework for Realistic and Actionable Counterfactual Explanations
arxiv.org·3d
✨Algebraic Effects
LEARN: A Story-Driven Layout-to-Image Generation Framework for STEM Instruction
arxiv.org·22h
📊Learned Metrics
Enhanced Target Tracking via Bayesian Multisensor Fusion and Adaptive Kalman Filtering (BMFAKF)
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
OpenAI's GPT-OSS: The Dawn of a New Open-Weight AI Era
dev.to·2d·
Discuss: DEV
🔓Open Source Software
Predictive Modeling of Personalized Drug Response via Multi-Modal Graph Neural Networks and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
Few-shot Vision-based Human Activity Recognition with MLLM-based Visual Reinforcement Learning
arxiv.org·3d
🎵Audio ML
Texas AG accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.com·8h
⚖️Emulation Ethics
Cardboard One-Stroke Plotter
hackster.io·1d
📟Terminal Physics
GoViG: Goal-Conditioned Visual Navigation Instruction Generation
arxiv.org·4d
🗺️Competency Maps