How to Use Zorn's Lemma
gowers.wordpress.com·21h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·8h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·11h
🎯Performance Proofs
Flag this post
Speedrunning an RL Environment
sidb.in·3h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
A moonlit week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·13h
🧮Kolmogorov Complexity
Flag this post
Using ChatGPT Atlas Agent Mode To Solve LeetCode Problems
blog.codeminer42.com·2h
⚙️Proof Engineering
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·8h
⚡SIMD Vectorization
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·4h·
Discuss: Substack
🔗Constraint Handling
Flag this post
Weekly Challenge: The one about arrays
dev.to·1d·
Discuss: DEV
📊APL Heritage
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.com·2d·
Discuss: Substack
⚡Proof Automation
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·22h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Modern Perfect Hashing
blog.sesse.net·4h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
A bestiary of single-file programming language implementations
github.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Beyond Benchmarks: Testing Open-Source LLMs in Multi-Agent Workflows
blog.scottlogic.com·17h
⚡Performance Mythology
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·4h
🔄Reproducible Builds
Flag this post
PMPP-Eval Journey
blog.sinatras.dev·9h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
xor01.substack.com·1d·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post