pavpanchekha

11 ms·

91.
by pavpanchekha 5y ago
Tables are still not that clean! But luckily tables are way way less important than they were in the past, so much so that browser differences in table rendering leaves most pages readable.
92.
by pavpanchekha 5y ago
Author here. Layout is my favorite part of the browser—my dissertation is largely about formalizing browser layout—and so far the book only covers the basics, like the layout tree and how layout is computed with multiple tree traversals, b
93.
by pavpanchekha 5y ago
Yep! You can point your RSS reader at https://browser.engineering/rss.xml
94.
by pavpanchekha 5y ago
Author here—the browser the book works through is, uhh, pretty limited, so I don't imagine you'd want to actually use it for web browsing. It's more like writing your own toy compiler or operating system, to learn how they wo
95.
by pavpanchekha 5y ago
Author here. I wrote up my answer here: http://browser.engineering/blog/why-python.html Basically: server-side JavaScript is just not as widely known as Python, and it'd be additionally confusing when our browser
96.
Keeping Data Private (Web Browser Engineering)(browser.engineering)
3 points by pavpanchekha 5y ago|0 comments
97.
How browsers run interactive scripts(browser.engineering)
1 points by pavpanchekha 5y ago|0 comments
98.
How Browsers Send Information to Servers (WBE)(browser.engineering)
1 points by pavpanchekha 5y ago|0 comments
99.
by pavpanchekha 5y ago
Suppose you have a number: x = a0 10^1 + a1 10^0 + a2 10^-1 + ... If you write down x * x * x, you get something like: x^3 = a0^3 10^3 + 3 a0^2 a1 10^2 + (3 a0 a1^2 + 3 a0^2 a2) 10^1 + ... Now equate this term by term to your
100.
by pavpanchekha 5y ago
Interestingly, you can use scheduling to make a non-amortized dynamic array. Your probably know this, but for other commenters who do not— Keep two arrays, of size n and 2n. Initially the first has capacity c = n/2 and the second has c
101.
by pavpanchekha 5y ago
I wonder what you mean by "what's wrong with an unwritable natural"... It is sound to assume one! And it doesn't make any true mathematical facts false. But of course it's sound to assume many silly things. But why
102.
by pavpanchekha 5y ago
You're absolutely right. ZFC + ¬Con(ZFC) is a weird set of axioms, and no mathematician really studies it. I skipped this point, because we weren't really discussing such axioms, but it's an important point that there are dif
103.
by pavpanchekha 5y ago
Yes, I actually have a kind-of related blog post: https://pavpanchekha.com/blog/proof-system-os.html I tried to restrict my post to just set theory because this philosophical point is often hard for people to grasp.
104.
by pavpanchekha 5y ago
256 = 16 * 16 255 = 256 - 1 = 16 * 16 - 1 = 15 * 17
105.
by pavpanchekha 5y ago
To fill in some details: Two real numbers are different if in the same place they have different digits. [1] So the idea is to take your infinite, hypothetical list of all real numbers A[] and make a new real number X, where for all i, ther
106.
by pavpanchekha 5y ago
Great article. Since it looks like a lot of folks are interested in this article, some extra background. First, what is forcing? The article actually has a great description of ultrapowers (a key part of the construction) but it goes by a l
107.
Herbie 1.5 Released(herbie.uwplse.org)
1 points by pavpanchekha 5y ago|0 comments
108.
by pavpanchekha 5y ago
Thanks. I agree a sort of "design decisions behind web browsers" would be an interesting book, and some of the later chapters we're writing now (11 and onward) have more of that flavor. But there's a lot of background kn
109.
How Browsers Handle Buttons and Links(browser.engineering)
2 points by pavpanchekha 5y ago|0 comments
110.
by pavpanchekha 5y ago
I'm not going opine on the list of removed features, but if the author is interested in a browser that's easy to understand, written in a memory-safe language, and (heh) eschews performance in favor of simplicity... May I recommen
111.
Browsers Apply User Styles (Web Browser Engineering)(browser.engineering)
1 points by pavpanchekha 5y ago|0 comments
112.
by pavpanchekha 5y ago
I'm writing a book on web browser internals with Chris Harrelson, who heads the Chrome rendering team: https://browser.engineering/ It's in progress but we cover the core architecture of a modern browser in some d
113.
Fuzzing for Layout Invalidation Bugs(pavpanchekha.com)
1 points by pavpanchekha 5y ago|0 comments
114.
Why Widgets (Web Browser Engineering)(browser.engineering)
1 points by pavpanchekha 5y ago|0 comments
115.
History of the Web (Web Browser Engineering)(browser.engineering)
2 points by pavpanchekha 5y ago|0 comments
116.
by pavpanchekha 6y ago
Author here. Unfortunately, a lot of this "conceptual" content doesn't really exist, just because there aren't that many people who work on web browsers, plus it takes a lot of work to get a comprehensive view. I wrote u
117.
by pavpanchekha 6y ago
Author here. Yes, the Chromium code is very good, and I learned a lot from reading the Servo code as well. We hope to do some more advanced chapters at the end of the book that reference real browser code bases more directly—if we can find
118.
by pavpanchekha 6y ago
Hi, book author here. All the typographic tips are lifted practically directly from Matthew Butterick's Practical Typography: https://practicaltypography.com
119.
by pavpanchekha 6y ago
Hi Inityx—book author here. My eyesight is bad, hence the big font. It should respond well to browser zoom, or if you narrow the page there's a narrower layout with smaller fonts.
120.
by pavpanchekha 6y ago
Book author here. A basic styling engine is the very next chapter, so it should be out in about two months, depending on how the writing process goes.

More ›