🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

IPAB Visitor Seminar - 08/07/2025
informatics.ed.ac.uk·21h
🌀Differential Geometry
Codeminer42 Dev Weekly #67
blog.codeminer42.com·13h
❄️Nix Adoption
Show HN: Shouldiuse.dev – software dependency health checker
shouldiuse.dev·12h·
Discuss: Hacker News
🔓Open Source Software
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·2d·
Discuss: Hacker News
⚡Proof Automation
Ranking generative AI companies from most to least evil
cwodtke.medium.com·14h·
Discuss: Hacker News
🔲Cellular Automata
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·2d
📋Document Grammar
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·4d
🎯Performance Proofs
How We Built an AI-Powered Legal Timeline Generator
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·17h·
Discuss: DEV
🗣️Domain-Specific Languages
Writing Toy Software Is a Joy
quiz.businessexplain.com·2d·
Discuss: Hacker News
🔩Systems Programming
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Any employee can build apps and it's hell for developers
writer.com·14h·
Discuss: Hacker News
⚙️TLA+
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Programming Entry Level: how to interpreter
dev.to·3d·
Discuss: DEV
🔗Lisp
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·23h·
Discuss: DEV
🌐Network Protocols
🎮 I Built a Minesweeper Game Using Amazon Q CLI and Python – Here’s How!
dev.to·9h·
Discuss: DEV
🪟Awesome windows command-line
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Complete Tutorial: Building Your First React Component on Paseo Network with PAPI Simulator
dev.to·11h·
Discuss: DEV
✅Format Verification
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·1d·
Discuss: DEV
⚡Effectful Programming