🏛️ Isabelle HOL

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

MVI2: done
codecs.multimedia.cx·3d
🎞️MKV Internals
Funniest/Most Insightful Comments Of The Week At Techdirt
techdirt.com·8h
🔓Hacking
Yellow stickers and fridge hacks: How to feed children for less in the holidays
bbc.com·1d
🧮Algorithmic Cooking
Meta under fire over AI rules that allow romantic roleplay with children and false medical advice
techspot.com·1d
📰RSS Archaeology
Ask HN: A new AGI safety plan created via Human-AI synergy. Seeking feedback
news.ycombinator.com·3d·
Discuss: Hacker News
🔲Cellular Automata
A clear prompt
nature.com·2d
🔗Concatenative Languages
SF Giants snap losing streak behind Webb’s strong start, Gilbert’s first homer
mercurynews.com·6h
💻Local first
Hypothesis Testing in a Medical Scenario
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·6d·
Discuss: Hacker News, r/programming
🔒Type Safety
Why your brain is the biggest bottleneck in AI productivity
jennywanger.com·5d·
Discuss: Hacker News
⚡Proof Automation
ESP32 USB Host MIDI Library
hackster.io·2d
🎹MIDI Archaeology
Researchers find LLMs are bad at logical inference, good at “fluent nonsense”
arstechnica.com·6d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🧮Theorem Proving
Which one Performs Better? Wav2Vec or Whisper? Applying both in Badini Kurdish Speech to Text (BKSTT)
arxiv.org·3d
🎙️Whisper
Federated Anomaly Detection for Multi-Tenant Cloud Platforms with Personalized Modeling
arxiv.org·2d
👁️Observatory Systems
The Ultimate 2025 Developer Salary Guide: What AI-Ready Skills Actually Pay (With Real Job Data)
dev.to·2d·
Discuss: DEV
🗺️Competency Maps
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.org·3d
📊Computational Geometry
🧠 Cursor vs Copilot vs Codeium vs Tabnine vs CodeWhisperer: Best AI Tools for Developers in 2025
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Starmer hails Zelensky’s desire for ‘just peace’ amid fears of Russian land grab
the-independent.com·10h
🏛️PREMIS Metadata
MedPatch: Confidence-Guided Multi-Stage Fusion for Multimodal Clinical Data
arxiv.org·3d
🧠Machine Learning
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
dev.to·3d·
Discuss: DEV
📚Digital Humanities