🏛️ Isabelle HOL

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

Last Week on My Mac: Search and you’ll find
eclecticlight.co·10h
🍎Apple Computing
Two Kinds of Do Overs
jefftk.com·3d·
Discuss: Hacker News
⬜Minimalism
Our first outage from LLM-written code
sketch.dev·2d·
Discuss: Lobsters, Hacker News
🔄Language Evolution
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·3d·
Discuss: Hacker News
📄Text Chunking
Exploring VersaLOGIC pre-LSI Logic Cards With the Data/620
hackaday.com·18h
⚡Circuit Archaeology
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·2d·
Discuss: Hacker News
📏Code Metrics
Software Engineering Has Always Been Context Engineering
agenticcoding.substack.com·3d·
Discuss: Substack
⚙️Proof Engineering
“We want AWS to be the place where everyone runs enterprise AI agents" - the agentic era is here for your business, so be prepared for the new age
techradar.com·1d
🏠Homelab Orchestration
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·4d
🧪Property-Based Testing
ShellGuard: Building an AI-Assisted Command Approval System for SSH Security
dev.to·2d·
Discuss: DEV
🐚Shell Automation
Machine Learning Fundamentals: logistic regression
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Compilers vs Interpreters: Understanding How Code Gets Executed
dev.to·3d·
Discuss: DEV
🏗️Compiler Archaeology
LLM Fighter: A Game-Based Approach to Exploring AI Agent Capabilities
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Python Itertools: Master Complex and Efficient Iterators in 2025
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·3d
📝Compiler Design
Dual Cross-image Semantic Consistency with Self-aware Pseudo Labeling for Semi-supervised Medical Image Segmentation
arxiv.org·4d
🌀Riemannian Computing
Was i, wasn't i
dev.to·22h·
Discuss: DEV
🤖AI Curation
Hashcat v7.0.0 Released
github.com·1d·
Discuss: Hacker News
🔓Password Cracking
How to Check Installed Python Version
dev.to·22h·
Discuss: DEV
🔄Language Evolution
PHAX: A Structured Argumentation Framework for User-Centered Explainable AI in Public Health and Biomedical Sciences
arxiv.org·4d
🔢Denotational Semantics