👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Interacting with an unreliable process
mbork.pl·2d
🐚Bash FP
Unsupervised Learning NO. 489
newsletter.danielmiessler.com·1d
🗜️LZW Variants
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Beat the 3D Level Design Blank Page by Starting from 2D
saarraz.substack.com·7h·
Discuss: Substack
📟Terminal Physics
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·14h·
Discuss: Hacker News
🌀Differential Geometry
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The Siren Song of LLMs
anukrit.de·2d·
Discuss: Hacker News
💻Local LLMs
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·1d·
Discuss: Hacker News
🔌Interface Evolution
🏔️ Project Himalaya: How 50 Years + AI Created Enterprise Software in One Day
dev.to·1d·
Discuss: DEV
🔄Language Evolution
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·1d
📏Code Metrics
Pipeline Pattern in Go: Build Efficient Data Flows Like a Pro
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·1d
💻Local LLMs
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·2d
🔗Constraint Handling
My Participation in the METR AI Productivity Study
domenic.me·20h·
Discuss: Hacker News
👁️Observatory Systems
🔍 GitHub Profile Finder – Built with Bolt
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·2h·
Discuss: Hacker News
🔄Language Evolution
Machine Learning Fundamentals: decision trees with python
dev.to·17h·
Discuss: DEV
🔗Topological Sorting
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·1d
🔲Proof Irrelevance
Language Models for Adult Service Website Text Analysis
arxiv.org·7h
📝Text Parsing