🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

The devil is in the defaults...
holzer.online·3h
🔓Reverse engineering
Flag this post
"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·1d·
Discuss: Hacker News
📄PostScript
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·3d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·18h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
AI scrapers request commented scripts
cryptography.dog·3d·
Discuss: Lobsters, Hacker News
🌐DNS Security
Flag this post
AI and Intuition
theheasman.com·2d·
Discuss: Hacker News
🎯Content Recommendation
Flag this post
Automated Predictive Molecular Dynamics for Mycoplasma Contamination Root Cause Analysis
dev.to·1d·
Discuss: DEV
📄Document Digitization
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·3d
🧠Machine Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📝Log Parsing
Flag this post
Building an Airport Info AI Agent with Mastra and Telex
dev.to·3h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building EduSimplify: An AI Agent for Simplifying Educational Topics using Django, DRF, and Telex A2A Protocol
dev.to·7h·
Discuss: DEV
🔗Hypermedia APIs
Flag this post
The Silent Threat: Visually Triggered AI Hijacking
dev.to·5h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Flag this post