Ludwig - cs/theory/algorithms

LudwigAbap

Resources › cs › theory › algorithms

Bookmarks

bookmark moeezm.ca · 2 min A simple constraint satisfaction problem that's seemingly hard for solvers boolean satisfiability

bookmark lawrencecpaulson.github.io · 5 min Program verification is not all-or-nothing verification

bookmark aleksagordic.com · 58 min Inside NVIDIA GPUs: Anatomy of high performance matmul kernels gpus matrix multiplication

video youtube.com · 32:35 Procedural Generation using Constraint Satisfaction boolean satisfiability
video youtube.com · 16:16 A* Search: How Your Map Applications Find Shortest Routes minimization

video youtube.com · 22:30 Dynamic Programming isn't too hard. You just don't know what it is. dynamic programming
video youtube.com · 1 min Hierarchical Tiling to speed up my Matrix Multiplication cuda matrix multiplication
video youtube.com · 13:00 How AI Discovered a Faster Matrix Multiplication Algorithm matrix multiplication
video youtube.com · 19:22 The hidden beauty of the A* algorithm minimization

bookmark mildbyte.xyz · 5 min Solving Wordle with uv's dependency resolver python boolean satisfiability

bookmark cefboud.com · 40 min Taking a Look at Compression Algorithms compression

bookmark ludwigabap.com · 1h 44m arXiv:quant-ph/0011122v2 20 Dec 2000 compression information theory epistemology

bookmark dl.acm.org · 1 min Proof of correctness of data representation verification

bookmark surfingcomplexity.blog · 5 min TLA+ is hard to learn verification

bookmark penny-xu.github.io · 5 min Tiled Matrix Multiplication gpus matrix multiplication
bookmark 1024cores.net · 4 min Cache-Oblivious Algorithms performance optimization parallel

bookmark research.swtch.com · 25 min Minimal Boolean Formulas boolean satisfiability logic

bookmark matklad.github.io · 9 min What is an Invariant? Oct 6, 2023 verification

bookmark mattmahoney.net · 4h 4m Data Compression Explained compression information theory

bookmark cs.utexas.edu · 10 min The next fifty years simplicity verification epistemology

bookmark lamport.azurewebsites.net · 3h 51m Leslie Lamport distributed systems verification

bookmark nullprogram.com · 11 min Prospecting for Hash Functions hash maps hash functions

bookmark kolegite.com · 16h 13m The Art of Computer Programming, Vol. 4 Fascicle 6 boolean satisfiability logic

bookmark docs.modular.com · 10 min Matrix multiplication in Mojo performance optimization matrix multiplication
bookmark marek.ai · 31 min Matrix Multiplication on CPU performance optimization matrix multiplication

Subcategories