How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·8h
✓Automated Theorem Proving
Flag this post
Nonmonotonic Logic
🔬Logic in Computer Science
Flag this post
Some Notes from RIPE-91
potaroo.net·1h
🌐DNS over QUIC
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·1d
🔗Constraint Handling
Flag this post
A moonlit week
λLambda Encodings
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
Neural Networks for Chess
⚡Homebrew CPUs
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·23h
🔄Reproducible Builds
Flag this post
Turing Machine Visualization (2016)
🎞️Tape Combinatorics
Flag this post
Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers
arxiv.org·8h
🌐BGP Security
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·18h
⚡Proof Automation
Flag this post
"use workflow": Understanding Directives
🐚Shell Monads
Flag this post
Amortized Active Generation of Pareto Sets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Grounding LLMs with Symbolic Planning
⚔️Lean Tactics
Flag this post
Loading...Loading more...