👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

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
I Vibe Coded an R Package
jcarroll.com.au·2d·
Discuss: Lobsters, Hacker News
🇯🇵Japanese Computing
The Rise of Semantic Entity Resolution
towardsdatascience.com·9h
📄Semantic Chunking
I Created a Messenger That Doesn't Send Any Data. Here's How It Works. 💫
dev.to·17h·
Discuss: DEV
🏺Protocol Archaeology
Spatial Transcriptomics Data Fusion via Multi-Modal Signal Disambiguation and Graph-Enhanced Integration
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
The Art of Automation: Custom Coding vs. n8n – A Comprehensive Comparative Analysis
dev.to·13h·
Discuss: DEV
📏Code Metrics
🔥 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
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
How Kiro Changed the Way I Approach Development
dev.to·48m·
Discuss: DEV
🦋Format Metamorphosis
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·4d·
Discuss: Hacker News, Hacker News
🔍Concolic Testing
Building High-Performance Caching in Go: A Practical Guide
dev.to·53m·
Discuss: DEV
💨Cache Optimization
Concurrency is a pattern, not execution.
dev.to·20h·
Discuss: DEV
🏗️Compiler Archaeology
Agile Documentation
medium.com·21h·
Discuss: Hacker News
🔄Language Evolution
AI-Tutor-AI-Learning-Companion with kiro
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Resources for Go Compiler
reddit.com·3d·
Discuss: r/golang
📜Proof Carrying Code
PyMax: Unleash the Power of Max Messenger with This Async Python Wrapper!
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
Level Up Your Sprints: How I'm Using AI to Plan Like a Boss
dev.to·17h·
Discuss: DEV
📊Feed Optimization
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·18h·
Discuss: DEV
🌐WASI