
Pavel Panchekha
@pavpanchekha
Web browsers, numerics, PL, and formal methods at the University of Utah
ID: 739241415255810049
https://pavpanchekha.com 04-06-2016 23:44:22
655 Tweet
992 Takipçi
93 Takip Edilen



Every Marisa "Long Middle Name Looks Cool" Kirisame project is like this: whole stack working together, algorithm through assembly. He's graduating in a year, folks, if you want to hire someone like this, reach out!

Very cool work reducing latency in web rendering engine through clever use of priority queues and order maintenance data structures .. improves upon the current Double Dirty Bit algorithm .. co-authored by Marisa "Long Middle Name Looks Cool" Kirisame Link: 👇







Over the 10 days, I wrote a new Racket library for "expect testing", a style that Yaron (Ron) Minsky has advocated for in OCaml. github.com/samth/recspecs/ As an experiment, I built it entirely with Codex (the OpenAI async AI programming tool). I have some thoughts.

# better diff views for AI agents +1 to the quoted post. To work well with AI agents, we need better diff views! your ability to check the agent's work is the bottleneck. here are some ideas for how to do that, based on our research at Ink & Switch : Zoomed out diffs: show





