🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

How to Prove That An Email Was Received
metaspike.com·4h
📄Document Digitization
derived set
ncatlab.org·9h
🧮Algebraic Archives
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·18h
📝Concrete Syntax
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1h·
Discuss: Hacker News
📟Terminal Typography
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·8h
⚡Proof Automation
Godel's Incompleteness Theorem
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Type Theory
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·14h·
Discuss: Hacker News, r/programming
🔗Lisp
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·1d
⚔️Lean Tactics
Machine Learning Fundamentals: active learning with python
dev.to·7h·
Discuss: DEV
🧠Machine Learning
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·7h·
Discuss: Hacker News
⚡Proof Automation