🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

At the Heart of Don Quixote
hedgehogreview.com·1h
🏛️Philosophy
Flag this post
See What AI Wrote
ia.net·10h
🤖AI Curation
Flag this post
Role Reversals: How AI Trains Humans
cacm.acm.org·22h
🌍Cultural Algorithms
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·22h·
Discuss: Hacker News
🧮Compute Optimization
Flag this post
Skills for the Future
bastian.rieck.me·1d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
[D] Favorite Deep Learning Textbook for teaching undergrads?
reddit.com·10h·
Discuss: r/MachineLearning
🧠Machine Learning
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Quoting Barry Warsaw
simonwillison.net·2d
🦀Rust Macros
Flag this post
Proton a new Linux kernel module for crypto functions callable from XDP
github.com·2h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
Flag this post
🔑 Own It or Lose It | The Real Power Behind “Not Your Keys, Not Your Coins”
dev.to·3h·
Discuss: DEV
🔗Blockchain Archives
Flag this post
Case Study: How We Built Scalable Digital Solutions for Shell — A Global Energy Leader
dev.to·3h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·3d·
Discuss: Hacker News, r/reactjs
🦋Format Metamorphosis
Flag this post
In AI, Everything is Meta
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2d
🔤DSLs
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Flag this post
Autonomous Traceability Network Optimization via Multi-Agent Reinforcement Learning for Resilient Supply Chains
dev.to·22h·
Discuss: DEV
🔗Supply Chain
Flag this post
A beginner's guide to the Flux-Fast model by Prunaai on Replicate
dev.to·14h·
Discuss: DEV
🌊Streaming Algorithms
Flag this post