🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·2d
🛡️CLI Security
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗄️Database Internals
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·2d
🔗Concatenative Programming
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
HigherOrderCO/HVM3
github.com·11h
🔗Functional Compilers
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·1h·
Discuss: Substack
📄Text Chunking
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·1d
🌳Context free grammars
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·1d·
Discuss: Substack
🧪Protocol Fuzzing
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·20h·
Discuss: Hacker News
📼Tape Combinators
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·11h·
Discuss: Hacker News
⚡Proof Automation
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚡Proof Automation
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·4h·
Discuss: Hacker News
⚡Proof Automation
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·10h·
Discuss: Hacker News
📼Tape Combinators
Beyond the Hype: Critical Takeaways From BlackHat and Defcon
thenewstack.io·20h
🎯Threat Hunting