πŸ‘‘ Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Binary Search in a 2D Matrix
mmhaskell.comΒ·3d
πŸ“Error Bounds
Some History Notes on Casting Out Nines, and an extension you probably never heard of.
pballew.blogspot.comΒ·18hΒ·
Discuss: www.blogger.com
🎯Arithmetic Coding
Unsure About the Future of Windsurf? Try These Alternative Vibe Coding Editors on Linux
itsfoss.comΒ·1d
πŸ”“Open Source Software
All AI Models Might be The Same
blog.jxmo.ioΒ·6hΒ·
Discuss: Hacker News
🧠Machine Learning
Parsing Protobuf Like Never Before
mcyoung.xyzΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”§Binary Parsers
Sandcastles Made of Bits
jsfour.substack.comΒ·1dΒ·
Discuss: Substack
🧱Immutable Infrastructure
AI Engineering in Legal Practice
ai.intellectronica.netΒ·3dΒ·
Discuss: Hacker News
⚑Proof Automation
Undone Computer Science
undonecs.orgΒ·12hΒ·
Discuss: Hacker News
🌍Cultural Algorithms
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.coΒ·2dΒ·
Discuss: Hacker News
πŸ’»Programming languages
Using AI-Created Prototypes to Align Product and Engineering
jeremybelcher.coΒ·1dΒ·
Discuss: Hacker News
πŸ“ŸCLI Design
Are we trading our hard-earned intelligence for convenience?
lmyslinski.comΒ·15hΒ·
Discuss: Hacker News
πŸ“Code Metrics
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.orgΒ·1d
🌳Context free grammars
AWS AI League: Learn, innovate, and compete in our new ultimate AI showdown
aws.amazon.comΒ·7h
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.toΒ·18hΒ·
Discuss: DEV
πŸ”„Language Evolution
πŸ€– Building an AI-Powered GitHub README Generator with MCP Protocol
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Unpacking Claude’s System Prompt
oreilly.comΒ·2d
πŸŽ™οΈWhisper
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.comΒ·1dΒ·
Discuss: r/programming
πŸ”„Archival Workflows
Machine Learning Fundamentals: dropout
dev.toΒ·7hΒ·
Discuss: DEV
🌊Stream Processing
I Spent 40 Hours Writing Tests That Broke in 2 Weeks β€” A Confession Story
dev.toΒ·13hΒ·
Discuss: DEV
πŸ”Concolic Testing
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.comΒ·6h
🌐WASI