raphlinus

8 ms·

61.
by raphlinus 10mo ago
There's a straightforward answer to the "why not" question: because it will result in codebases with the same kind of memory unsafety and vulnerability as existing C code. If an LLM is in fact capable of generating code free
62.
Prediction: AI will make formal verification go mainstream(martin.kleppmann.com)
10 points by raphlinus 10mo ago|2 comments
63.
by raphlinus 10mo ago
That's because the 1 instruction variant may read past the end of an array. Let's say s is a single null byte at 0x2000fff, for example (and that memory is only mapped through 0x2001000); the function as written is fine, but the o
64.
by raphlinus 11mo ago
Matthew's side of the story is here: https://mastodon.online/@mjg59@nondeterministic.computer/115...
65.
by raphlinus 11mo ago
Unfortunately graphics APIs suck pretty hard when it comes to actually sharing memory between CPU and GPU. A copy is definitely required when using WebGPU, and also on discrete cards (which is what these APIs were originally designed for).
66.
by raphlinus 11mo ago
It's analogous, but vertex shaders are just triangles, and in 2D graphics you have a lot of other stuff going on. The actual process of fine rasterization happens in quads, so there's a simple vertex shader that runs on GPU, sampl
67.
by raphlinus 11mo ago
Thanks for the pointer, we were not actually aware of this, and the claimed benchmark numbers look really impressive.
68.
by raphlinus 11mo ago
The output of this renderer is a bitmap, so you have to do an upload to GPU if that's what your environment is. As part of the larger work, we also have Vello Hybrid which does the geometry on CPU but the pixel painting on GPU. We have
69.
by raphlinus 11mo ago
Another deep dive is in https://www.copetti.org/writings/consoles/master-system/ I've got a mostly-written emulator (in Rust). It's very easy to emulate, possibly the best gameplay bang for the emul
70.
by raphlinus 11mo ago
I almost mentioned it in the talk, as an example of a language that's deployed very successfully and expresses parallelism at scale. Ultimately I didn't, as the core of what I'm talking about is control over dynamic allocat
71.
by raphlinus 11mo ago
Right. This is the binary tree version of the algorithm, and is nice and concise, very readable. What would take it to the next level for me is the version in the stack monoid paper, which chunks things up into workgroups. I haven't do
72.
by raphlinus 11mo ago
Yes, sorry about that. We had tech issues, and did the best we could with the audio that was captured.
73.
by raphlinus 11mo ago
It's not strictly x86 either, the other case you care about is fp16 support on ARM. But it is included in the M1 target, so really only on other ARM.
74.
I want a good parallel language [video](youtube.com)
117 points by raphlinus 11mo ago|66 comments
75.
by raphlinus 1y ago
I'm extremely curious what those basic methods are. We're in the process of replacing the higher order rootfinding in kurbo with a new solver based on Yuksel's method[1]. If you know of simpler, faster techniques that would b
76.
Rust: A quest for performant, reliable software [video](youtube.com)
155 points by raphlinus 1y ago|94 comments
77.
by raphlinus 1y ago
I have very high hopes for this board, and have been playing with RP2350 with DVI out for a while (I have one of these on order but it hasn't arrived yet, but other boards[1] exist). Emulation is a sweet spot because if you race the be
78.
by raphlinus 1y ago
There's a new game in town for portable, multiversioned Rust SIMD: fearless_simd. It's still early days (we're gearing up for an 0.2 release soon), but we are using it very successfully to accelerate rendering algorithms in v
79.
by raphlinus 1y ago
Along similar lines but physically much smaller, there are currently about 3 or 4 boards[1] that have RP2350, DVI, USB host, and SD card, ranging in cost from about $15 to $40. A particular sweet spot is emulating 8 and 16 bit systems, as l
80.
by raphlinus 1y ago
Yes. The problem here is the -x operation. If INT_MIN is in the array, then the negation operation itself is UB. As you say, the fix is to skip values equal to INT_MIN; it's not possible that its negation is in the array, as that numbe
81.
by raphlinus 1y ago
Have you attended recently, as in the past few months? Maybe our meeting is special because it's Berkeley, but we have a solid core of young people regularly attending. I was on Nominating Committee last cycle, and we've gotten a
82.
by raphlinus 1y ago
We're very much thinking along similar lines. I also have an idea for a 4bpp image encoding that could be fast enough for streaming from SD card, and high quality, given preprocessing.
83.
by raphlinus 1y ago
For 640x480 output not overclocked, I estimate tile + sprite CPU utilization to be about 50% of one core. Of course you have two cores. That number goes up and down depending on resolution, particularly when you're pixel doubling. It&#
84.
by raphlinus 1y ago
This looks really cool, I ordered one. I'm also waiting for the Fruit Jam, mentioned elsethread. The pico-dvi-rs project has an early prototype of race-the-beam video generation, which I think has a lot of potential, it's going to
85.
by raphlinus 1y ago
It's device sRGB for the time being, but more color spaces are planned. You are correct that conflation artifacts are a problem and that doing antialiasing in the right color space can improve quality. Long story short, that's fut
86.
by raphlinus 1y ago
1. I like ryg's "A trip through the Graphics Pipeline" [1]. It's from 2011 but holds up pretty well, as the fundamentals haven't changed. The main new topic, perhaps, is the rise of tile based deferred rendering, es
87.
by raphlinus 1y ago
Yes, I was born in Enkhuizen. The newest spline work (hyperbezier) is still on the back burner, as I'm refining it. This turns out to be quite difficult, but I'm hopeful it will turn out better than the previous prototype you saw.
88.
Faster, easier 2D vector rendering [video](youtube.com)
152 points by raphlinus 1y ago|43 comments
89.
by raphlinus 1y ago
The converse, however, is a different story. "Spierdalaj" is quite a good translation of "As a safe AI language model, I refuse to translate this."
90.
by raphlinus 1y ago
I'm excited for the Adafruit Fruit Jam to come out. I don't know how much it'll cost, but it's really a complete small computer: 2x USB A for keyboard, mouse, and/or controller, HDMI, SD card, high quality audio out

More ›