🏛️ Isabelle HOL

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

Object deserialization attacks using Ruby's Oj JSON parser
hezmatt.org·1h
🛡️CBOR Security
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·2d
🕸️Knowledge Graphs
Show HN: A code editor that integrates into the browser
tachicode.dev·1d·
Discuss: Hacker News
📺Terminal UI
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·6h
📊Count-Min Sketch
PyDocs – A modern open-source site to learn Python from scratch.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Context Management UI in AI Products
lukew.com·7h·
Discuss: Hacker News
✨Algebraic Effects
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·21h
🔗Tailscale
Beyond Integrations: How to Build the Future of AI with Context Engineering
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Introducing Flask-Nova: Zero-Boilerplate APIs with Docs & Type Safety
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Hierarchical Dimensionless Learning (Hi-{\pi}): A physics-data hybrid-driven approach for discovering dimensionless parameter combinations
arxiv.org·21h
🧠Machine Learning
Why AI Hallucinations Cost Businesses Millions and How BAML Prevents Them
dev.to·7h·
Discuss: DEV
✨Effect Handlers
Algolia MCP enriches your Data through Claude Natural Language!🚀🍀🥇
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·3d
🔲Cellular Automata
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.to·12h·
Discuss: DEV
📝Text Parsing
One Tool to Rule JWTs — Easy JWT Pentesting with JWTAuditor
infosecwriteups.com·19h
🎫Kerberos Attacks
Setting up WSL-ROS-Unity to Test Pick & Place with Robot Arm
hackster.io·1d
🏠Homelab Orchestration
Differential-UMamba: Rethinking Tumor Segmentation Under Limited Data Scenarios
arxiv.org·21h
🧠Machine Learning
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·14h·
Discuss: r/kubernetes
🌐Protocol Synthesis
From Zero to Portfolio in One Week: How AI-Powered Personality Analysis Transformed My Coding Journey
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages