🏛️ Isabelle HOL

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

Obsidian Starter Kit v2.3.0: Your Knowledge System Just Got Even Better 🎉
dsebastien.net·2d
🕸️Knowledge Graphs
Upcoming changes to Hare's event loop library
harelang.org·1d
🔌Interface Evolution
An Introduction to Linear Regression Using Baseball Data
runningonnumbers.com·2d·
Discuss: Hacker News
📈Linear programming
No more Erlang manuals
blog.whenhen.com·2d·
Discuss: Lobsters, Hacker News
📝ABNF Parsing
Emilio, your AI inbox agent
meetemilio.com·21h·
Discuss: Hacker News
🎯Threat Hunting
Identity and behaviour
ismaelcelis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Faster Python: Unlocking the Python Global Interpreter Lock
blog.jetbrains.com·1d
⚡Parallel Computing
The Reanimated Renaissance, C-Speed Compression, and JSON-Loving LLMs
thereactnativerewind.com·23h·
Discuss: Hacker News
🎬WebCodecs
AI Chatbots Remain Confident – Even When They're Wrong
cmu.edu·13h·
Discuss: Hacker News
🎙️Whisper
What is an AI-first software company?
varungodbole.com·15h·
Discuss: Hacker News
⚙️TLA+
Why AI is making us worse thinkers (and how to avoid it)
buttondown.com·1d·
Discuss: Hacker News
🤖AI Curation
Critical Findings: Developer Crypto Challenges on Stack Overflow
hackernoon.com·2d
🧪Binary Fuzzing
Europe’s Data Vision: Dataspaces for Zero-Trust AI Infrastructure
dev.to·1d·
Discuss: DEV
🏠Homelab Federation
Python Automation Testing Guide
dev.to·3h·
Discuss: DEV
🧪Property-Based Testing
When Scale Meets Diversity: Evaluating Language Models on Fine-Grained Multilingual Claim Verification
arxiv.org·2d
🧮Kolmogorov Complexity
Security practices in AI development
arxiv.org·1d
🔒WASM Capabilities
AI Literacy as a Key Driver of User Experience in AI-Powered Assessment: Insights from Socratic Mind
arxiv.org·1d
🧠Intelligence Compression
TARS: MinMax Token-Adaptive Preference Strategy for Hallucination Reduction in MLLMs
arxiv.org·1d
👂Psychoacoustic Models
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·4d·
Discuss: DEV
📜Manuscript Workflows
The Developer's Context Switch Tax: How to Minimize Mental Overhead
dev.to·1d·
Discuss: DEV
🔩Systems Programming