Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·9h
💾Data Preservation
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
⚔️Lean Tactics
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
The Day I Hacked XCTrack
blog.syrac.org·14h·
Discuss: Hacker News
🔐PKI Archaeology
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Experimenting with ACL2 and Claude Code
mikedodds.org·17h·
Discuss: Hacker News
👑Isabelle
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·12h·
Discuss: Hacker News
📐Linear Algebra
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·16h·
Discuss: r/programming
🧠Lisp Dialects
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Why it took 4 years to get a lock files specification
snarky.ca·1h·
Discuss: Hacker News
🔄Language Evolution
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Running new applications on old glibc
lightofdawn.org·1d·
Discuss: Hacker News
🔗Static Linking
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs