🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

How Far Can You Run Before Sundown?
thefiddler.substack.com·1d·
Discuss: Substack
🎯Interactive Provers
A better for loop?
cirw.in·2d
🦀Rust Macros
Learning Through Doing: From one language to another
blog.scottlogic.com·2d
🦀Rust Borrowing
Secret Management on NixOS with sops-nix
michael.stapelberg.ch·1h·
Discuss: Lobsters, Hacker News
❄Nix
google/highway
github.com·8h
📊RISC-V Vectors
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Developer's block
underlap.org·8h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
I Taught My JavaScript AI to Rewrite Its Own Code
dev.to·16h·
Discuss: DEV
⚡Incremental Computation
Building a Regex Engine
abstractsyntaxseed.com·3d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Debugging the Draft
codingfearlessly.com·2d·
Discuss: Hacker News
🎯Gradual Typing
You Can Build Better AI Agents in Java Than Python
medium.com·3d·
Discuss: Hacker News
⚡Proof Automation
A Process to Trick ChatGPT into Agency
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Dynamic Network Emulation via Hyperparameter Adaptive Reinforcement Learning
dev.to·23h·
Discuss: DEV
📡Network Calculus
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·2d
✅Formal Methods
Lessons from AI Safety for Businesses
svana.name·2d·
Discuss: Hacker News
🌍Cultural Algorithms
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
vibe.forem.com·3d·
Discuss: DEV
🦀Rust Macros
Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
💻Programming languages
🚀 Learn Go with 13 Challenges: a practical journey to mastering the language
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Dynamic Templates for Business Ops Managers Announce Process Updates in Seconds
dev.to·17h·
Discuss: DEV
✅Format Verification