👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

How to Debug Common Python Errors
realpython.com·22h
🌳Incremental Parsing
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·15h·
Discuss: Hacker News
🔌Interface Evolution
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·22h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: AI Test User – simulate your customer experience
aitestuser.com·25m·
Discuss: Hacker News
🔍Concolic Testing
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·2d·
Discuss: Hacker News
💾Binary Linguistics
Source code analysis of Amazon Kiro
ghuntley.com·13h·
Discuss: Hacker News
🌀Brotli Dictionary
What birdsong and backends can teach us about magic
digitalseams.com·1d·
Discuss: Hacker News
⛏️File Carving
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·13h·
Discuss: DEV
🌳Incremental Parsing
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
🏔️ Project Himalaya: How 50 Years + AI Created Enterprise Software in One Day
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·8h
💻Local LLMs
Build AI-driven policy creation for vehicle data collection and automation using Amazon Bedrock
aws.amazon.com·19h
🤖Archive Automation
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·1d·
Discuss: Substack
⚡Incremental Computation
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com·20h·
Discuss: Hacker News
🔲Cellular Automata
The great misunderstanding of the DRY principle
pmatteo.com·22h·
Discuss: Hacker News
💧Liquid Types
Pipeline Pattern in Go: Build Efficient Data Flows Like a Pro
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·21h·
Discuss: Hacker News
🌳Incremental Parsing
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·1d
🔗Constraint Handling
AI Is Less Creative Than You Think
jasonthorsness.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·8h
🔲Proof Irrelevance