🎯 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
RTL generation for custom CPU Mrav
popovicu.com·11h
⚙️Modern Assembly
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com·1d·
Discuss: Substack
🔌Interface Evolution
the core of rust
jyn.dev·3d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·4d
🔲Cellular Automata
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·2d
💻Local LLMs
Optimizing our way through Metroid
antithesis.com·1d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
Diving Deep: Understanding the Mechanics
dev.to·3d·
Discuss: DEV
📏Range Queries
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·1d
🌊Stream Processing
Show HN: Novel GPT-2 sampling and memory architecture
github.com·19h·
Discuss: Hacker News
💎Information Crystallography
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression
Walter
strangeloopcanon.com·4h·
Discuss: Hacker News
📊Feed Optimization
I Taught My JavaScript AI to Rewrite Its Own Code
dev.to·10h·
Discuss: DEV
⚡Incremental Computation
Developer's block
underlap.org·3h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Building a Regex Engine
abstractsyntaxseed.com·3d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Dynamic Network Emulation via Hyperparameter Adaptive Reinforcement Learning
dev.to·17h·
Discuss: DEV
📡Network Calculus