👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

How can RPKI can be made quantum-safe?
blog.apnic.net·1d
🔐Quantum Security
Can You Bypass text.length > 20? Hackers Can!
blog.devops.dev·2d
✅Format Verification
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io·1d·
Discuss: Hacker News
✅Format Verification
Google develops AI tool that fills missing words in Roman inscriptions
theguardian.com·10h·
Discuss: Hacker News
🤖AI Paleography
Engineers Are Finally Ditching the Accessibility Checkbox
thenewstack.io·9h
📟CLI Design
Customize Amazon Nova in Amazon SageMaker AI using Direct Preference Optimization
aws.amazon.com·6h
🏠Homelab Orchestration
Who Is LLM?
martinfowler.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Giving Red Teamers a Tactical AI Copilot (Without Losing Control)
dev.to·2h·
Discuss: DEV
🚀Indie Hacking
Building an Interactive Story Generator with Google AI Studio
dev.to·3d·
Discuss: DEV
🎙️Whisper
I Built an AI That Learns Your Coding Style (VS Code Extension That Reads Your GitHub DNA)
dev.to·2d·
Discuss: DEV
🔄Language Evolution
The Other Mind: How Language Models Exhibit Human Temporal Cognition
arxiv.org·1d
🔲Cellular Automata
Competitive Algorithms for Cooperative Multi-Agent Ski-Rental Problems
arxiv.org·1d
🔲Cellular Automata
EarthCrafter: Scalable 3D Earth Generation via Dual-Sparse Latent Diffusion
arxiv.org·21h
🏺Computational Archaeology
🌱 Building Roots: Voice-First School System with ElevenLabs
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Show HN: Browser AI – Use Playwright Without Blowing Up Your Context Window
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Hypermedia APIs
Google DeepMind's Gemini wins Mathematical Olympiad gold using only natural language
the-decoder.com·2d
🧮SMT Solvers
Chart-R1: Chain-of-Thought Supervision and Reinforcement for Advanced Chart Reasoner
arxiv.org·1d
🧮Prolog Parsing
SQL Optimization Practices Episode 4: Non-Correlated Subquery Optimization with Index-Driven Execution
dev.to·20h·
Discuss: DEV
🚀Query Optimization
The Cost and Benefits of Developing an AI-Powered Smart Personal Assistant App
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Using Cursor as a Smart Notebook (Not Just for Code)
dev.to·8h·
Discuss: DEV
🗄️SQLite Internals