🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Functions To Streamline Your Writing Workflow
irreal.org·11h
📝Concrete Syntax
I've been an English teacher for 20 years, and my students are now relying on AI to do everything. It's making my job impossible.
businessinsider.com·16h
🤖Grammar Induction
Security by Design — UX and AI in Modern Cybersecurity
paloaltonetworks.com·4h
📟CLI Design
TestDriven.io: Deploying a Django App to Sevalla
testdriven.io·13h
🔄Sync Engine
Capturing the Invisible Art of Scientific Practice
blog.cultivarium.org·6h·
Discuss: Hacker News
🔄Archival Workflows
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.com·13h·
Discuss: Hacker News
🔌Single Board PC
Recursively self improving AI might not work without these functions
secondsight.dev·2d·
Discuss: Hacker News
🔲Cellular Automata
should v0.1.0 – New assertion library for Go with more readable error messages
reddit.com·3d·
Discuss: r/golang
📜Proof Carrying Code
Show HN: LLMs suck at writing integration code… for now
github.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Disastra: Building with Bolt - WLH Challenge
dev.to·12h·
Discuss: DEV
🏺Archaeological Computing
Closing the complexity gap of the double distance problem
arxiv.org·1d
🧮Kolmogorov Complexity
Maybe AI Isn't Going to Replace You at Work After All
charleshughsmith.substack.com·13h·
Discuss: Substack
⚡Proof Automation
Why I Built My Own Markup Language for AI-Powered Video Editing
dev.to·7h·
Discuss: DEV
🗣️Domain-Specific Languages
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·3d·
Discuss: DEV
⚙️TLA+
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·1d
✅Format Verification
AI Revolution & Critical RCEs: A Dev's Digest on GitHub Spark & SharePoint Exploits (23/24-July-2025)
dev.to·20h·
Discuss: DEV
🔓Hacking
RAG Chatbot - MoviesGPT
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
Fractional Spike Differential Equations Neural Network with Efficient Adjoint Parameters Training
arxiv.org·22h
🧠Machine Learning
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Study of ChatGPT Interventions
arxiv.org·2d
📝ABNF Parsing
Building Code Craft in 6 Days: My AI Hackathon Journey with Bolt
dev.to·1d·
Discuss: DEV
🚀Indie Hacking