Also available on arxiv:
arxiv.org/abs/2502.15507

grok 2 vs grok 3

I attended LLVM talk by Gus Smith on PL techniques for FPGA compilations, found some very interesting uses of program synthesis in wild. Going over some older work on synthesis makes me wonder why programming by sketching is considered to be more useful than something like component based 1/2

Filling PhD applications is so stressful, I am consistently unable to sleep properly. If I try to take off my mind doing something else I feel guilty that I’m not being *productive* enough :’)