Detroit Tech Fellowship
📐Linear Algebra
Flag this post
Can you talk to the dead using AI?
📵Digital Minimalism
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
🔲Cellular Automata
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔀OCaml Multicore
Flag this post
The worst way to use AI for your productivity
🔧DevOps
Flag this post
Day 27: Python Mode Finder, Find the Most Frequent Element in a List Using Dicts
🔢Algebraic Data Types
Flag this post
The Spegling Chronicles: Measuring dev shadow work until it measured us back
🔄Reproducible Builds
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
λFunctional Programming
Flag this post
Non-recursively deleting a binary tree in constant space: Synthesizing the parent pointer
λFunctional Programming
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
From data to corpus: semiotic and documentary issues in audiovisual archives
arxiv.org·2d
🏔️Domain Theory
Flag this post
Anticheat: a non-technical look without psychoanalysis
lesswrong.com·2d
🎮Verification Games
Flag this post
Accelerating AI Agent Development: Strategies for Faster Iteration and Deployment
👁️System Observability
Flag this post