Pavel Panchekha (@pavpanchekha) 's Twitter Profile
Pavel Panchekha

@pavpanchekha

Web browsers, numerics, PL, and formal methods at the University of Utah

ID: 739241415255810049

linkhttps://pavpanchekha.com calendar_today04-06-2016 23:44:22

655 Tweet

992 Takipçi

93 Takip Edilen

FPTalks (@fptalksannounce) 's Twitter Profile Photo

📢 Exciting FPTalks coming up! 🗓️ Join us April 3rd at 9:00am PT for Artem Yadrov talk on Mixed Precision Error Bounds! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

Marisa "Long Middle Name Looks Cool" Kirisame (@marisaverymoe) 's Twitter Profile Photo

Really proud of my latest project on incremental layout in web browsers. It's got PL (attribute grammars), my favorite algorithm (order maintenance), cache optimization, and even inline assembly. Incredibly satisfying to see every level of the stack work together like this. (...)

Pavel Panchekha (@pavpanchekha) 's Twitter Profile Photo

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!

Debasish (দেবাশিস্) Ghosh 🇮🇳 (@debasishg) 's Twitter Profile Photo

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: 👇

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 <a href="/MarisaVeryMoe/">Marisa "Long Middle Name Looks Cool" Kirisame</a> 

Link: 👇
Rick the Tech Dad (@rickasaurus) 's Twitter Profile Photo

the government just disappeared a computer science professor, I don't know much more than anyone else, but at face value this is extremely alarming

the government just disappeared a computer science professor, I don't know much more than anyone else, but at face value this is extremely alarming
FPTalks (@fptalksannounce) 's Twitter Profile Photo

📢 Exciting FPTalks coming up! 🗓️ Join us May 1st at 9:00am PT for David K. Zhang 's talk on Fast Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic! Subscribe for more: fpbench.org/subscribe Nominate a speaker: fpbench.org/nominate

Aaron Francis (@aarondfrancis) 's Twitter Profile Photo

I think the appetite for software is nearly infinite. I've been using AI extensively to write code and yet the number of things I still need to code has increased, not decreased. It's like we added three lanes to the highway and still have traffic.

Pavel Panchekha (@pavpanchekha) 's Twitter Profile Photo

Incredibly exciting to write a microarchitecture simulator and have it match cycle counts on the actual machine, even under load.

FPTalks (@fptalksannounce) 's Twitter Profile Photo

🚨 FPTalks 2025 is coming July 10 🚨 Join online for the latest in floating-point and numerical computing from speakers at CNRS, ARM, Intel, Graphcore, Cornell, Inria, and more. ⚙️ Research, tools, hardware, theory: all in 10-min lightning talks + Q&A! fpbench.org/talks/fptalks2…

Sam Tobin-Hochstadt (@samth) 's Twitter Profile Photo

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.

Geoffrey Litt (@geoffreylitt) 's Twitter Profile Photo

# 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

# 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 <a href="/inkandswitch/">Ink & Switch</a> :

Zoomed out diffs: show
Pavel Panchekha (@pavpanchekha) 's Twitter Profile Photo

Hi all! FPTalks FPTalks, our free annual workshop on floating-point and numerics, is in a week, on Thursday morning PDT. There's still time to register: fpbench.org/talks/

Pavel Panchekha (@pavpanchekha) 's Twitter Profile Photo

I use LLMs a lot, but I think the killer app is learning stuff fast. I am hoping LLMs make it possible to do much more creative research as a result.

Pavel Panchekha (@pavpanchekha) 's Twitter Profile Photo

Today's the last day to register for FPTalks 2025: fpbench.org/talks/ Come for amazing numerics talks across hardware, software, and applications. Workshop is tomorrow over Zoom.

FPTalks (@fptalksannounce) 's Twitter Profile Photo

Next FPTalks: Thu Aug 7 @ 9AM PT Detecting and diagnosing FP exceptions in GPUs and CPUs Baranowski & Gopalakrishnan (Utah) Come learn how we track down NaNs and INFs in closed-source GPU kernels launched from Python, Julia, etc! fpbench.org/subscribe fpbench.org/nominate