👑 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·1d
🗜️Zstandardized Archives
Truth, Humility and Human & AI Incentives
zappable.com·5h
🔲Proof Irrelevance
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·18h
📼Cassette Linguistics
Fil's C Compiler
fil-c.org·1d·
Discuss: Hacker News
🐚Shell Combinators
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·2h·
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
This AI Is a Better Geography Teacher Than Most Humans.
dev.to·1d·
Discuss: DEV
🎙️Whisper
Private LLM Inference: Democratizing AI with Ciphertext Computations
dev.to·1d·
Discuss: DEV
💻Local LLMs
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·1d·
Discuss: DEV
🌐WASI
Hidden Realms: AI-Powered Find the Hidden Objects Game
dev.to·5h·
Discuss: DEV
🎯Emulator Accuracy
Implementing Real-Time Chat with SSE vs WebSockets (and Why I Chose One)
dev.to·4h·
Discuss: DEV
🌐WebSocket Framing
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·6d
🎯Performance Proofs
What's the best way to develop an AI Agent with a Go backend?
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Crystal Vision AI
dev.to·22h·
Discuss: DEV
🌈Color Archaeology
👤👗👖🧥AI Avatars & Virtual Try-On: Redefining Online Fashion🌐
dev.to·22h·
Discuss: DEV
🏛Digital humanities
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·4h
🌍Cultural Algorithms