👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Inboxfuscation: Because Rules Are Meant to Be Broken
permiso.io·1d·
Discuss: Hacker News
💣Compression Security
Fil's C Compiler
fil-c.org·21h·
Discuss: Hacker News
🐚Shell Combinators
🔥 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
Python async: a step in the wrong direction
harshal.sheth.io·2d·
Discuss: Hacker News
🌊Stream Processing
Paul's Online Math Notes
tutorial.math.lamar.edu·2d·
Discuss: Hacker News
📜Manuscript Calculus
pgdbtemplate – fast PostgreSQL test databases in Go using templates
dev.to·1d·
Discuss: DEV
🗄️PostgreSQL WAL
Secure QKD Network Resilience via Dynamic Threshold-Adaptive Key Reconciliation
dev.to·2d·
Discuss: DEV
🔐Quantum Cryptography
You should be rewriting your prompts
maxleiter.com·23h
📝Concrete Syntax
I Created a Messenger That Doesn't Send Any Data. Here's How It Works. 💫
dev.to·14h·
Discuss: DEV
🏺Protocol Archaeology
The Rise of Semantic Entity Resolution
towardsdatascience.com·7h
📄Semantic Chunking
Spatial Transcriptomics Data Fusion via Multi-Modal Signal Disambiguation and Graph-Enhanced Integration
dev.to·22h·
Discuss: DEV
🌀Riemannian Computing
The Art of Automation: Custom Coding vs. n8n – A Comprehensive Comparative Analysis
dev.to·10h·
Discuss: DEV
📏Code Metrics
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·4d·
Discuss: Hacker News, Hacker News
🔍Concolic Testing
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·15h·
Discuss: DEV
🌐WASI
Concurrency is a pattern, not execution.
dev.to·18h·
Discuss: DEV
🏗️Compiler Archaeology
Agile Documentation
medium.com·19h·
Discuss: Hacker News
🔄Language Evolution
Resources for Go Compiler
reddit.com·3d·
Discuss: r/golang
📜Proof Carrying Code
AI-Tutor-AI-Learning-Companion with kiro
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
PyMax: Unleash the Power of Max Messenger with This Async Python Wrapper!
dev.to·9h·
Discuss: DEV
🔌Interface Evolution