How to Use Zorn's Lemma
⚔️Lean Theorem
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
⚔️Lean Tactics
Flag this post
A moonlit week
λ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
🔗Constraint Handling
Flag this post
Weekly Challenge: The one about arrays
📊APL Heritage
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
A bestiary of single-file programming language implementations
🔗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
🔍Concolic Testing
Flag this post
Loading...Loading more...