Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Building Freebsd Ports
blog.bapt.name·41m
📟Vintage Protocols
Flag this post
Favourites of October 2025
brainbaking.com·17h
🏺Gaming Archaeology
Flag this post
Open Catalyst Project
opencatalystproject.org·1d·
Discuss: Hacker News
Z3 Optimization
Flag this post
Quindar Tone Generator
curiousmarc.com·11h·
Discuss: Hacker News
Circuit Archaeology
Flag this post
HydraPWK2 Is a Linux Distribution That Simplifies Pentesting
thenewstack.io·17h
🛡️eBPF Security
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·20h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
I ****Ing Hate Science
buttondown.com·9h·
⚙️Proof Engineering
Flag this post
Claude Skills Market
skillsmp.com·49m·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Generative Universal Verifier as Multimodal Meta-Reasoner
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·3d·
Discuss: DEV
Incremental Computation
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·4h
🦋Format Metamorphosis
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·3h·
Discuss: DEV
🔩Systems Programming
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·4h·
Discuss: DEV
Proof Automation
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·15h·
Discuss: DEV
🗂️Vector Search
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·5d
Effectful Programming
Flag this post