👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Valuable News – 2025/09/15
vermaden.wordpress.com·1h
🔌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·7h
🔲Proof Irrelevance
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·20h
📼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·4h·
Discuss: Hacker News
🗜️LZW Variants
I Vibe Coded an R Package
jcarroll.com.au·2d·
Discuss: Lobsters, Hacker News
🇯🇵Japanese Computing
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·1d·
Discuss: r/archlinux, r/linux
🔌Operating system internals
Implementing Real-Time Chat with SSE vs WebSockets (and Why I Chose One)
dev.to·6h·
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·21h·
Discuss: DEV
📏Code Metrics
Crystal Vision AI
dev.to·1d·
Discuss: DEV
🌈Color Archaeology
👤👗👖🧥AI Avatars & Virtual Try-On: Redefining Online Fashion🌐
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·6h
🌍Cultural Algorithms
Multi-Modal Knowledge Graph Augmentation for Enhanced Predictive Maintenance in Industrial Robotics
dev.to·4h·
Discuss: DEV
🌍Cultural Algorithms
Enhancing Semantic Data Retrieval via Multi-Modal Graph Parsing and Recursive HyperScore Optimization
dev.to·1d·
Discuss: DEV
🔍Semantic Search
I built Element Fusion
dev.to·17h·
Discuss: DEV
🏛Digital humanities
AppWeaver AI
dev.to·17h·
Discuss: DEV
📄Document Streaming