🏛️ Isabelle HOL

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

Boots Theory and Wikipedia
reasonableapproximation.net·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Two Kinds of Do Overs
jefftk.com·3d·
Discuss: Hacker News
⬜Minimalism
AI Code Review the Right Way
hackaday.com·1d
⚡Proof Automation
Google Does Not Care If a Toaster Wrote Your Article – AI Written Content Is OK
marvlus.ai·3h·
Discuss: Hacker News
🤖AI Curation
Our first outage from LLM-written code
sketch.dev·3d·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Exploring VersaLOGIC pre-LSI Logic Cards With the Data/620
hackaday.com·20h
⚡Circuit Archaeology
Why build a domain-specific agent for front end tasks?
kombai.com·3d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·2d·
Discuss: Hacker News
📏Code Metrics
Testing the full AI editorial system on No Cap Blog
news.ycombinator.com·2d·
Discuss: Hacker News
⚡Proof Automation
“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
[P] A Black Box LLM Explainability Metric
reddit.com·4d·
Discuss: r/MachineLearning
🧠Intelligence Compression
AI in Coding
dev.to·9h·
Discuss: DEV
🎙️Whisper
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
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·1d·
Discuss: DEV
🤖AI Curation