🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

RTL generation for custom CPU Mrav
popovicu.com·5m
⚙️Modern Assembly
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·2d
🛡️CLI Security
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
It's okay to solve a problem twice
til.andrew-quinn.me·9h·
Discuss: Hacker News
⚡Proof Automation
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·15h·
Discuss: Hacker News
📼Tape Combinators
Beyond the Hype: Critical Takeaways From BlackHat and Defcon
thenewstack.io·1d
🎯Threat Hunting
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·3h·
Discuss: Hacker News
🔲Cellular Automata
Do I need a Lisp Machine comeback?
far.chickenkiller.com·1d·
Discuss: Hacker News
🦀Rust Macros
Harper Evolves
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News, r/programming
📝Concrete Syntax
HTML Partials and Server Reducers: An Alternative to React Spas
cimatic.io·2h·
Discuss: Hacker News, r/htmx
🌊Streaming Systems
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
12 AI-Related Projects You Can Build in Termux
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Fox pairing
ncatlab.org·5h
🔱Galois Theory
Make LLMs supportive, not sycophantic
chrisbarber.co·2h·
Discuss: Hacker News
🎯Gradual Typing
A Guide to Gen AI / LLM Vibecoding for Expert Programmers
stochasticlifestyle.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Building your first MCP server: How to extend AI tools with custom capabilities
github.blog·1d
⚔️Lean Tactics
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·3h·
Discuss: DEV
🗄️Database Internals
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
✨Effect Handlers