raphlinus

Well, it's O(nm) where m is the number of candidate breaks on the line. The amount of time spent Knuthing and Plassing is not too bad, but where it does hurt you is that you have to measure the s…

It's disabled in editing, and you're absolutely right about that. I never got any negative feedback about accessibility problems. My guess is that since they are standard in print sources, t…

#text stream in xi.zulipchat.com (requires registration, is open to anybody with a Github account).

I believe it was the default from Marshmallow through Pie, but as of 10 it's default off because the powers that be decided that performance was more important. And it was actually on even withou…

This is a great reference, but ten years out of date. Unfortunately there is no really good central place to get updated information on this. For almost five years, I was tech lead of the text stack i…

I think that's fair. We had an experimental collaborative editing prototype running on Fuchsia, but that was never officially part of the scope of the project. So this is all about whether tech…

I think that's overstating it a bit. What I would say is that the CRDT added a lot of complexity, and we weren't able to encapsulate that complexity into an "engine" as was origina…

To clarify: it does not lend itself well to ShaderToy, because the computational model is hamstrung by the fact that the threads can't communicate with each other within a draw call. On a more mo…

Memoirs found in a Bathtub, perhaps? One of my favorites.

This is very cool work, and I'm happy to see it. I've been fascinated with Metamath for a very long time, finding its simplicity extremely appealing, and have also made a number of attempts …

Monoid homomorphisms for the win. I discussed a very similar approach for computing the length of the longest line in a "rope science" article[1], as well as unquoting strings[2]. In this ca…

Have you met Liam Quin?

I'm revising Inconsolata, making it into a variable font, and would like to gather data on the variants out there so I can make it satisfy the largest number of users. Feel free to file an issue …

CIELab is not perfect, but is probably Good Enough, especially for the kinds of use cases as described in this article. One of its main flaws is lack of hue constancy, particularly in blue. There are …

That was an interesting read, as my relationship with my dad was pretty similar at that age. I was coding image handling systems for newspapers (in 80286 assembly) with my dad handling the business si…

This turns out to be quite hard, because there are irreconcilable differences in the fundamentals of the different proof systems. That said, there's the Dedukti project, which is showing promisin…

There's an entire theory of non-computable functions. Probably the most vivid introduction is the "busy beaver function."

Quotients are not purely constructive, but they are present in Lean as an extension (this is covered in Chapter 1 of the book[1]). [1]: https://leanprover.github.io/theorem_proving_in_…

Maybe that wasn't the best way to phrase it, but the question was asked and Prof Buzzard replied basically that in Lean it's straightforward to express quotients, while in Coq you get "…

I found this really worth watching, as much for the sociological commentary about the way modern mathematics is done as for the presentation of the program (and the latter resonates strongly for me). …

I'm not fluent in any language (except maybe English), but this was my job on Android for about five years, and I still have my hand in. I got very good at being able to spot various forms of inc…

I don't get to the south bay often, but sounds like it might be good to have a little compositor meetup. I can certainly vouch for pcwalton's interest and knowledge in the topic :) Follow up…

Looking over this stuff, I get an uneasy feeling. X was a brilliant solution to problems 35 years ago, where you barely had enough memory for a full frame buffer and the graphics model was primitive (…

I just watched the YouTube link, and it's amazing! I've been toying with making some of my own video content, and this is inspiring. There's only so many hours in the day though.

David Murray (aka the 8-bit guy) has a plan to build the "Commander X16", a new 6502 based computer that is philosophically similar to a VIC-20 but has more RAM (2MB), a higher clock (probab…

You could argue that much open source work is like volunteering to serve food at the local country club. Sure, you're feeding hungry people, but there is something just a little bit wrong about t…

Fun fact: floor(x + 0.5) rounds 0.49999997 to 1.0 (this is 32 bit floats, the same principle applies to 64). Most libraries have slower than ideal round conversion because of historical dross; modern …

It's completely fair though, and I wouldn't want people trying to use druid while really basic functionality like menus is still being worked on. The only way I would recommend druid is if p…

I can think of a bunch of stuff that has moved or is moving from third party crates into the standard library: parking_lot, hashbrown, (minimal) Future trait. But I agree that no crate has moved whole…

No worries, it was read with offense I didn't take. I agree, designing a good random number API is in fact hard. I just think we can give developers a better out-of-the-box experience.