👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

You Are in a Box
jyn.dev·15h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Rust Language Cheat Sheet
cheats.rs·3d·
Discuss: Hacker News
🦀Rust Macros
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Why Hoon?
docs.urbit.org·1d·
Discuss: Hacker News
🐚Bash Monads
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·2h
📝ABNF Parsing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·1d·
Discuss: Hacker News
🔗Functional Compilers
There and Back Again: An AI Career Journey
towardsdatascience.com·7h
🤖Lisp Machines
The AI Framework Trap
hackernoon.com·8h
⚡Proof Automation
How to Debug Common Python Errors
realpython.com·16h
🌳Incremental Parsing
The Siren Song of LLMs
anukrit.de·1d·
Discuss: Hacker News
💻Local LLMs
Programming Languages: Application and Interpretation
plai.org·23h·
Discuss: Hacker News
📝Concrete Syntax
Multiplicative Modular Nim (MuM)
arxiv.org·2h
🎞️Tape Combinatorics
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·9h·
Discuss: Hacker News
🔌Interface Evolution
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·16h·
Discuss: Hacker News
🔲Cellular Automata
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·1d·
Discuss: Hacker News
💾Binary Linguistics
Source code analysis of Amazon Kiro
ghuntley.com·7h·
Discuss: Hacker News
🌀Brotli Dictionary
What birdsong and backends can teach us about magic
digitalseams.com·1d·
Discuss: Hacker News
⛏️File Carving
🏔️ Project Himalaya: How 50 Years + AI Created Enterprise Software in One Day
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Future-Proof Programming Languages
log.schemescape.com·20h·
Discuss: Hacker News
💻programming languages
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·2h
💻Local LLMs