pavpanchekha

7 ms·

61.
by pavpanchekha 2y ago
Definitely the second reason, but we actually try hard not to use too much of the standard library, for easy porting. But it's nice that sockets & ssl are standard, plus a (bad) GUI library.
62.
by pavpanchekha 2y ago
Author here, I wrote about this on the blog: https://browserbook.substack.com/p/why-python Basically, performance isn't a big focus, Python is very widely known and doesn't have too many quirks for non progra
63.
by pavpanchekha 2y ago
Wow, thanks, you always suspect no one has actually read the papers :) That was a crazy project... I eventually got it passing almost all of the WPT css2 fragment. I'm still working on CSS layout, with hopefully another paper coming so
64.
by pavpanchekha 2y ago
I think by "JavaScript" here you mean rendering—that's partially true. In macOS and Windows these days (also I think Linux with GTK4 on Wayland, though only in a limited way), the window manager is itself composited and a win
65.
by pavpanchekha 2y ago
Yes, layout is difficult, especially because (I think): 1. The most "core" parts of layout, like CSS 2 stuff, is pretty poorly considered with a bunch of weird features that interact in strange ways. (Floats and clearance? Margin
66.
by pavpanchekha 2y ago
I'm one of the book's two authors (the other is the head of Blink Rendering!) and I've talked to a number of people on the Chrome team. None of them have struck me as trying to keep browsers mysterious! On the contrary, folks
67.
by pavpanchekha 2y ago
It might be best read in two sittings! The chapters get longer as the book goes on and tackles more advanced topics, and I do recommend following along in code as you progress through the book.
68.
by pavpanchekha 2y ago
The book uses Tk (via Python's tkinter library) for the first 10 chapters and then switches to Skia, which is used by maybe all of the browsers now (I believe Webkit on Linux just switched to it from Cairo). It seems to be by far the m
69.
by pavpanchekha 2y ago
One of the authors here—thank you all for the nice words. Happy to answer questions!
70.
OpenAI Strawberry vs. Herbie(pavpanchekha.com)
1 points by pavpanchekha 2y ago|0 comments
71.
by pavpanchekha 2y ago
Yeah, you're right on all of that. I think there have been recent breakthroughs on quadratic (I think at ARITH 23? Yep, just looked, it's the best paper: https://arith2023.arithsymposium.org/program.html ) so hopef
72.
by pavpanchekha 2y ago
This is a well done post, but please note that computers do not in fact use Taylor series for evaluating polynomials. They do use polynomials! (Or, sometimes, rational functions, but I think the recent trend has been toward polynomials only
73.
by pavpanchekha 2y ago
The typical library folks use is called MPFR: https://mpfr.org It's fast, high quality, and very complete.
74.
by pavpanchekha 2y ago
Not immediately but it would be cool to integrate this with tools like flopoco that address that more directly.
75.
by pavpanchekha 2y ago
In general it's hard to carry on projects after the main author leaves. The plan is to fold many of the capabilities into Herbie over time.
76.
by pavpanchekha 2y ago
It's not really clear what this even means. HTML5 and CSS3 aren't new versions of HTML and CSS that obsolete the prior stuff; they are extensions to what already existed. So, for example, as far as I know, every web browser uses t
77.
by pavpanchekha 2y ago
You write programs in the DSL in Python code; the actual executed library functions are in C.
78.
by pavpanchekha 2y ago
The blog post (a summary of a research paper) is targeted at PL researchers, and the mathematical notation would probably not add clarity.
79.
by pavpanchekha 2y ago
One of the authors, happy to answer questions!
80.
by pavpanchekha 2y ago
People do not want to live out of the way. In fact there are quite possibly lots of homes already available out of the way and cheap; I've heard some countries like Italy and Japan give them away for nearly free.
81.
by pavpanchekha 2y ago
HN's title editor drops the word how at the start of titles in, I think, an attempt to combat clickbait. Funny enough, this might actually be a good use case for an LLM.
82.
by pavpanchekha 3y ago
Every large bank is the merger of thousands of banks, and the it systems are just strapped together.
83.
Herbie 2.0 Released(herbie.uwplse.org)
1 points by pavpanchekha 3y ago|0 comments
84.
by pavpanchekha 4y ago
Funny seeing this here, as I was just visiting Steve and his students a few days ago as part of my OOPSLA trip. I'm not an expert in this area, but here's my high level understanding: MMtk is an attempt to define a high performanc
85.
A Tiny Grammar of Graphics(observablehq.com)
240 points by pavpanchekha 4y ago|37 comments
86.
by pavpanchekha 4y ago
Low-effort comments like these are not accepted on HN. Please only comment if you have something substantive to add to the conversation.
87.
by pavpanchekha 5y ago
Hi, main dev here. Please check out the demo here: http://herbie.uwplse.org/demo/ Happy to answer questions! (when I wake up)
88.
How Browsers Add Visual Effects (WBE)(browser.engineering)
2 points by pavpanchekha 5y ago|0 comments
89.
by pavpanchekha 5y ago
Hi, I noticed you're a new user, so in that spirit this is not the kind of comment that is well-received on HN. It reads as arrogant and condescending, though I assume that was not your intention. Since I publish regularly in this area
90.
by pavpanchekha 5y ago
Fun fact: when working on Herbie ( http://herbie.uwplse.org ), our automated tool for reducing floating-point error by rearranging your mathematical expressions, we found that fast-math often undid Herbie's improvements. In a

More ›