🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·9h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
Flag this post
eBPF Rootkit
synacktiv.com·13h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·21h
⚔️Lean Theorem
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·18h·
Discuss: DEV
🧪Property-Based Testing
Flag this post