Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends
**Cache-Aware Programming Techniques: Boost System Performance Through Strategic Memory Management**
Incremental query updating in adhesive categories
topos.instituteยท1d
Advent of Code: 500 Stars
elly.townยท22h
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.netยท22h
Song recommendations with C# free monads
blog.ploeh.dkยท15h
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.comยท13h
Cyclic Implicit Complexity
arxiv.orgยท18h
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.comยท3d
PHP is cool.
connortumbleson.comยท19h
Loading...Loading more...