👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Valuable News – 2025/09/15
vermaden.wordpress.com·3h
🔌Operating system internals
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
One year of zizmor
blog.yossarian.net·1d
🗜️Zstandardized Archives
Truth, Humility and Human & AI Incentives
zappable.com·9h
🔲Proof Irrelevance
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·22h
📼Cassette Linguistics
Inboxfuscation: Because Rules Are Meant to Be Broken
permiso.io·1d·
Discuss: Hacker News
💣Compression Security
Game Programming Patterns
gameprogrammingpatterns.com·2d
⚖️Game Preservation Ethics
Show HN: I made an app that turns scripts to videos in minutes
kliptory.com·6h·
Discuss: Hacker News
🗜️LZW Variants
Implementing Real-Time Chat with SSE vs WebSockets (and Why I Chose One)
dev.to·8h·
Discuss: DEV
🌐WebSocket Framing
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·6d
🎯Performance Proofs
The Art of Automation: Custom Coding vs. n8n – A Comprehensive Comparative Analysis
dev.to·23h·
Discuss: DEV
📏Code Metrics
👤👗👖🧥AI Avatars & Virtual Try-On: Redefining Online Fashion🌐
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Crystal Vision AI
dev.to·1d·
Discuss: DEV
🌈Color Archaeology
From Word Predictor to Thinking Partner: The Rise of Thinking Models
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·8h
🌍Cultural Algorithms
Multi-Modal Knowledge Graph Augmentation for Enhanced Predictive Maintenance in Industrial Robotics
dev.to·6h·
Discuss: DEV
🌍Cultural Algorithms
Enhancing Semantic Data Retrieval via Multi-Modal Graph Parsing and Recursive HyperScore Optimization
dev.to·1d·
Discuss: DEV
🔍Semantic Search
AppWeaver AI
dev.to·19h·
Discuss: DEV
📄Document Streaming
I built Element Fusion
dev.to·19h·
Discuss: DEV
🏛Digital humanities
MetaRAG: Metamorphic Testing for Hallucination Detection in RAG Systems
arxiv.org·3d
🌀Brotli Internals