🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

MCP Colors: Systematically deal with prompt injection risk
timkellogg.me·2d
🧪Protocol Fuzzing
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Show HN: Structa – Design databases in plain English with AI
trystructa.com·1d·
Discuss: Hacker News
💾Database Formats
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
What if you don't need MCP at all?
mariozechner.at·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
Coding Agents Are Outliers
vivekhaldar.com·16h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
AWS Terraform Module - Custom Prompt Injection Detection
dev.to·3d·
Discuss: DEV
🛡️CLI Security
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·18h·
Discuss: Lobsters, Hacker News
🗄️PostgreSQL WAL
Flag this post
Algorithmic Trust Calibration via Adversarial Multi-Agent Simulations
dev.to·9h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·3d
🕵️Vector Smuggling
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·5h·
Discuss: DEV
🎯Gradual Typing
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·3d·
Discuss: DEV
🔄Archival Workflows
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·1d
🎙️Whisper
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
⚛️Quantum Archives
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🌳Trie Structures
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flag this post