🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
How To Prepare Your API for AI Agents
thenewstack.io·1h
🔌Interface Evolution
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·7h·
Discuss: DEV
⚡Proof Automation
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·10h
🔍Type Inference
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·7h
⬆️Lambda Lifting