Viewing profile — raphlinus

If you're interested in HDMI audio, I have code for that lying around. The current best Rust source is in [1], but I also have a local branch with hand-tuned asm for the terc4 enco…

Entirely fair, $1 is just the chip, not the board. No question the ESP32-S3 is incredibly good value.

If you want to do this at the $1 price point, you can on RP2350, albeit with some limitations. In particular, it maxes out at full speed (12Mbps). The trick is to use the on-chip U…

Actually it's not true for the hyperreals either, though this is a common misconception. It's extremely easy for me to believe that an llm would produce a "proof" and that people w…

There are two Sams here, the Microsoft one and the C64 one. I don't believe there's any connection between the two other than the name. According to [1], the weight of a modern run…

The font is Roboto Mono, not Consolas. There's something else a lot stranger going on, though. It is a proper monospace font, but the typesetting on the shirt is not. There's some …

I had a lot of these books as a kid. I'm not even 100% why, but my dad glommed on to the idea that they were of high quality, and also quite inexpensive. Probably my favorite was "…

Greg Kroah-Hartman has given a talk entitled "Untrusted data in Linux — How Rust is going to save us"[1] which I think is fairly optimistic about the idea that Rust will have an in…

Jake has already mentioned how the type system enforces single-threading (using similar mechanisms as Rc in Rust), but it's not necessarily the case that read-write races from mult…

The description of the BCE reminds me a lot of the PIO in the RP2040 and 2350 microcontrollers. From the article, BCE instructions include "Transmit Data, Receive Data, Load Timeou…

Also see Fast GPU bounding boxes on tree-structured scenes[1] (unpublished paper) and notes toward a blog post[2]. This is a highly tuned GPU implementation of parentheses matching…

This is plausible to me as well. A couple years ago we were trying to make dynamic memory allocation in Vello more robust and explored using async readback of a status buffer. In t…

No, a normal person would say, "I don't know them." Silicon Valley bros, on the other hand...

Quite a few Ozzies who were in the US (especially Bay Area) and have decided to move back, but so far no other people with no real connection.

I'm in Australia.

Exactly this, there's rarely a single "correct" colorspace, you make a choice based on expressive goals and constraints. For example, for gradients you almost never want linear, so…

Any time, friend. Your basic move is to set the lang metadata accurately and choose a font that does have these style differences implemented in the loca table. Best of luck and fe…

I love this question. Basically all scripts have things that make them challenging to render, sometimes little things, sometimes bigger ones. Cyrillic for Russian is reasonably str…

Yeah, probably should have made a more substantive comment. I'm mostly thinking of the trio of Skrifa, Harfrust, and Parley, but there is other open source Rust work that qualifies…

The more interesting question is why we're not GUI yet. I have Thoughts on this, which I'll try to briefly summarize here. * It's a genuinely hard problem The state of GUI on Windo…

Welcome to the club of doing high performance text in a memory safe language!

Similar, in that it encodes length in the first byte. The differences are: * It does not require canonicality, it allows multiple encodings of the same value. To make things even m…

I'm not assuming anything about bit representations. In this case, the spec language is quite clear and unambiguous. 6.3.2.3 paragraph 7: A pointer to an object type may be convert…

The issue is not type punning (itself a very common source of UB), but the fact that the `bytes` pointer might not be int-aligned. The spec is clear that the creation (not just the…