👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
One year of zizmor
blog.yossarian.net·20h
🗜️Zstandardized Archives
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·6h
📼Cassette Linguistics
Inboxfuscation: Because Rules Are Meant to Be Broken
permiso.io·21h·
Discuss: Hacker News
💣Compression Security
Fil's C Compiler
fil-c.org·18h·
Discuss: Hacker News
🐚Shell Combinators
Game Programming Patterns
gameprogrammingpatterns.com·1d
⚖️Game Preservation Ethics
🔥 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
I Vibe Coded an R Package
jcarroll.com.au·1d·
Discuss: Lobsters, Hacker News
🇯🇵Japanese Computing
OmniLearn: Multi-Agent AI School Bots for Universal Childhood Education
dev.to·20h·
Discuss: DEV
🔗Hypermedia APIs
MetaRAG: Metamorphic Testing for Hallucination Detection in RAG Systems
arxiv.org·2d
🌀Brotli Internals
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
📝Concrete Syntax
This is a submission for the Google AI Studio Multimodal Challenge
dev.to·5h·
Discuss: DEV
🌍Cultural Computing
Anti-Money Laundering Machine Learning Pipelines; A Technical Analysis on Identifying High-risk Bank Clients with Supervised Learning
arxiv.org·2d
🧠Machine Learning
Show HN: Flo Is a Rust/Vulkan 3D Renderer for the Bevy Game Engine
github.com·1d·
Discuss: Hacker News
📊Performance Profiling
Made a project to integrate GPT models into directly Ghidra
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Secure QKD Network Resilience via Dynamic Threshold-Adaptive Key Reconciliation
dev.to·2d·
Discuss: DEV
🔐Quantum Cryptography
pgdbtemplate – fast PostgreSQL test databases in Go using templates
dev.to·1d·
Discuss: DEV
🗄️PostgreSQL WAL
You should be rewriting your prompts
maxleiter.com·20h
📝Concrete Syntax
I Created a Messenger That Doesn't Send Any Data. Here's How It Works. 💫
dev.to·11h·
Discuss: DEV
🏺Protocol Archaeology