🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Operationalizing Gartner TRiSM: Testing AI for Trust, Risk, and Security
hackerone.com·2d
🔍Concolic Testing
Analysis Paralysis!
aliexpress.us·2d·
Discuss: r/homelab
📐Linear Algebra
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·4d·
Discuss: Hacker News
📟Terminal Typography
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·5d·
Discuss: Hacker News
⚙️TLA+
ESP32-LLM: Running a Little Language Model on the ESP32
github.com·14h·
Discuss: Hacker News
⚡Compression Hardware
Can an Automated Pentesting Tool Replace Pentesting Jobs?
infosecwriteups.com·2d
⚡Proof Automation
A Plea for History and Philosophy of Statistics and Machine Learning
arxiv.org·6h
🧠Machine Learning
Devlog #1 ahhhhh it's a snake
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Letting the power of Agentic AI: How Autonomous Agents are transforming Cybersecurity and Application Security
dev.to·2h·
Discuss: DEV
🔒Language-based security
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·4d
📐Error Bounds
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
AI Agent Architecture and the Autonomous Enterprise
dev.to·2d·
Discuss: DEV
⚙️TLA+
How I built a Chrome Extension with AI to understand any web page
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
LR(1) parse-tables generator
github.com·5d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Hacking a hotel door
hackster.io·1d
🔓Hacking
Language Modeling by Language Models
arxiv.org·4d
🤖Grammar Induction
How Good Are Synthetic Requirements ? Evaluating LLM-Generated Datasets for AI4RE
arxiv.org·3d
🌀Brotli Internals
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·3d
📊Learned Metrics
Machine Learning Fundamentals: adam optimizer with python
dev.to·2d·
Discuss: DEV
📊Feed Optimization