🏛️ Isabelle HOL

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

The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·1d
💻Programming languages