Pavel Panchekha
@pavpanchekhaWeb browsers, numerics, PL, and formal methods at the University of Utah
Similar User
@mwillsey
@BrowserBook
@calebstanford4
@poplconf
@ChandrakanaNaN
@BjornerNikolaj
@roopshasamanta
@yihongz_bot
@oflatt
@GhostofBendy
@awsTO
@RanjitJhala
@Tyler_UCSC
@LeoLambro
@mgrnbrg
📢 Exciting FPTalks coming up! 🗓️ Join us Dec 5 at 9:00am PT for Debasmita Lohar's talk on Aster for automated precision optimization in neural networks for safety-critical applications! Subscribe for more: fpbench.org/subscribe Nominate a speaker: fpbench.org/nominate
How I woke up one day and decided to solve a math conjecture from the 1970s ⤵️
Hello new subscribers and thank you for the HN front page yesterday! We're super excited to see so many people becoming interested in web browser engineering.
Sorry @awesomekling, another one today and this time it's my fault.
somebody posted their from-scratch browser on HN.. >"why not just contribute to an existing engine?" >"it's basically impossible to build a browser" >"why not *my* favorite license?" >"I was a professional browser developer, and these amateurs did something I wouldn't do!" 🙄
This would improve many pitch decks and corporate memos, too.
i have an occasional sideline in editing college admissions essays and i think i'm pretty good at it, but also i could be fully replaced by a bot that just repeats "fewer abstractions! more concrete details!" for as many cycles as the writer is willing to continue the process
Browser industry might be in for some real turbulence in the coming years.
There it is. Confirmation directly from the Department of Justice that divestiture of Chrome, Android and/or Play are all on the table as remedies to Google's antitrust abuses. US DOJ's remedies framework just posted. Their final proposal is due Nov 20th. /1
As of today, we are now 6 full-time engineers working on @ladybirdbrowser! 🤯🐞 I'm so grateful to all of our sponsors, both large and small, for making this possible! Feels like I'm living in a dream sometimes. Truly. 🌠
One way to think about a generalist is someone who is willing to learn and tackle any part of the stack to get the job done. Specialists (and the orgs they are part of) tend to be slow not because they aren't skilled, but because they wait for others to unblock them
Herbie 2.1 is out: herbie.uwplse.org/doc/2.1/releas… We rewrote a lot of the Herbie core this release to make its generated code faster, and at the same time made significant algorithmic improvements to Herbie itself.
You can now pre-order Web Browser Engineering: global.oup.com/academic/produ… You should get it before the end of the year, perhaps as a present for your wintertime holiday of choice!
United States Trends
- 1. Wayne 111 B posts
- 2. Neil 27,1 B posts
- 3. #UFCMacau 34,1 B posts
- 4. Saka 48,7 B posts
- 5. Odegaard 7.085 posts
- 6. Gameday 34,9 B posts
- 7. #Arcane 482 B posts
- 8. Good Saturday 33,3 B posts
- 9. #Caturday 6.084 posts
- 10. Petr Yan 5.968 posts
- 11. Figgy 3.678 posts
- 12. Enzo 72,1 B posts
- 13. Surgeon General 74 B posts
- 14. #ARSNFO 4.773 posts
- 15. Red Cross 10,1 B posts
- 16. Leicester 58,8 B posts
- 17. #SaturdayVibes 6.179 posts
- 18. Weezy 3.713 posts
- 19. Madueke 18,7 B posts
- 20. Ekko 106 B posts
Who to follow
-
Max Willsey
@mwillsey -
Web Browser Engineering
@BrowserBook -
Caleb Stanford
@calebstanford4 -
POPL 2025
@poplconf -
Chandrakana Nandi
@ChandrakanaNaN -
Nikolaj Bjorner
@BjornerNikolaj -
Roopsha Samanta
@roopshasamanta -
Yihong Zhang
@yihongz_bot -
Oliver Flatt
@oflatt -
Ben Delaware
@GhostofBendy -
Aws Albarghouthi 🍉 أوس
@awsTO -
Ranjit Jhala
@RanjitJhala -
Tyler Sorensen
@Tyler_UCSC -
Leo Lampropoulos
@LeoLambro -
Michael Greenberg
@mgrnbrg
Something went wrong.
Something went wrong.