🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Turing Machine Visualization (2016)
turingmachine.io·23h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·1d
🔄Reproducible Builds
Flag this post
Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers
arxiv.org·18h
🌐BGP Security
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·1d
⚡Proof Automation
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·1d·
Discuss: Hacker News
🐚Shell Monads
Flag this post
Amortized Active Generation of Pareto Sets
arxiv.org·1d
🔲Cellular Automata
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·22h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Experiences Working with Claude Code
realfiction.net·3h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Hard part about building AI Agents isn't planning it's making them stick to plan
sia.build·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Indexing Coffee with Notion
xvw.lol·4h·
Discuss: Lobsters, Hacker News
☕Coffee Science
Flag this post
The Forgotten Hero in the AI Workflow
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Flag this post
Paillier Cryptosystem
en.wikipedia.org·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
AGI is a Long Ways Off. Anyone who says otherwise is Selling Something
waleedk.medium.com·6h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
I built an faster Notion in Rust
imedadel.com·5h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Neural Networks for Chess
github.com·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Agentic AI and Security
martinfowler.com·8h·
Discuss: Hacker News
💻Local LLMs
Flag this post
Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments
arxiv.org·18h
🔲Cellular Automata
Flag this post
Clean Code, Clear Writing: William Zinsser's Principles for Developers
andection.substack.com·14h·
Discuss: Substack
📝Compiler Design
Flag this post
Jailbreak Mimicry: Automated Discovery of Narrative-Based Jailbreaks for Large Language Models
arxiv.org·18h
🧪Binary Fuzzing
Flag this post