👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Check Point Named a Leader in the 2025 IDC MarketScape Report for Worldwide Enterprise Hybrid Firewalls.
blog.checkpoint.com·2h
👁️Observatory Systems
Extensibility In Lisp And Emacs
irreal.org·38m
🧠Lisp Dialects
Text fragment linking
leancrew.com·13h
📰RSS Reading Practices
A Pitfall of "Expertise"
justismills.substack.com·4h·
Discuss: Substack
🔬Lean
Betrusted – Building transparent, secure computing from the silicon up
betrusted.io·2d·
Discuss: Hacker News
🤝Distributed Consensus
Slidebee – turn any ArXiv paper into a presentation
slidebee.genmini.ai·16h·
Discuss: Hacker News
📝Concrete Syntax
The Quest to Find the Longest-Running Simple Computer Program
wired.com·1d·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·3d·
Discuss: Hacker News
🔄Language Evolution
I built a fitness app via spec coding with Kiro
devblac.github.io·23h·
Discuss: Hacker News
📏Code Metrics
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·5d·
Discuss: Hacker News
🐚Shell Automation
Stop Wasting Hours on CRUD: Meet the Smart PHP Data Tables
dev.to·12h·
Discuss: DEV
📝Concrete Syntax
Spatial Transcriptomics Data Fusion via Multi-Modal Signal Disambiguation and Graph-Enhanced Integration
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Creativity Benchmark: A benchmark for marketing creativity for LLM models
arxiv.org·12h
🧠Intelligence Compression
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Demystifying LLM Tuning: XAI-Powered Optimization Unveiled by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
💻Local LLMs
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·4d·
Discuss: Hacker News, Hacker News
🔍Concolic Testing
Python Multiprocessing: Start Methods, Pools, and Communication
dev.to·11h·
Discuss: DEV
🌊Stream Processing
This is a submission for the Google AI Studio Multimodal Challenge
dev.to·1d·
Discuss: DEV
🌍Cultural Computing
How Kiro Changed the Way I Approach Development
dev.to·15h·
Discuss: DEV
🦋Format Metamorphosis
Building High-Performance Caching in Go: A Practical Guide
dev.to·15h·
Discuss: DEV
💨Cache Optimization