xav
@xavxav.bsky.social
@xldenis on the other one
phd in making programs less wrong
phd in making programs less wrong
a more "readable" and "useful" version of the same trace
November 17, 2025 at 10:18 AM
a more "readable" and "useful" version of the same trace
graphic design is my passion (im writing debuggers again)
October 25, 2025 at 9:53 AM
graphic design is my passion (im writing debuggers again)
prototyped a little tool here to break down the sizes of large futures.
My objective is to help figure out how to reduce compile times in async-heavy projects by telling you which futures are worth erasing. Might work on surfacing call-graph depth next.
My objective is to help figure out how to reduce compile times in async-heavy projects by telling you which futures are worth erasing. Might work on surfacing call-graph depth next.
July 21, 2025 at 3:14 AM
prototyped a little tool here to break down the sizes of large futures.
My objective is to help figure out how to reduce compile times in async-heavy projects by telling you which futures are worth erasing. Might work on surfacing call-graph depth next.
My objective is to help figure out how to reduce compile times in async-heavy projects by telling you which futures are worth erasing. Might work on surfacing call-graph depth next.
the only coffee shop capable of proving refinement
December 14, 2024 at 12:11 PM
the only coffee shop capable of proving refinement