raphlinus

I don't think there are good arguments against it, and I agree it would be great to fix it. But I think it's very important to understand the reasons why Regehr's proposal failed. I als…

This sounds like Regehr's "Proposal for a Friendly Dialect of C" [1]. I believe that was a well thought out argument, but ultimately did not make headway [2]. [1] https://blo…

Surely just a coincidence. Given the topic and current events, the chance of this happening randomly is quite high.

Yes, it's similar to C++. A Rust `fn()` type is similar to a C++ `(*foo)()` type and at the low level is just a pointer to code. A Rust `Fn` trait object (of which there are several variants) is …

Closures are, but functions defined using "fn" syntax cannot capture from the environment. This is a useful feature, and I can see why people would want it, but it was considered ultimately …

The fix that's probably closest to the author's intent is to use an atomic. There's no atomic boolean in the language, but if you store 0 or 1 in an int32 it works.

Unicode 0+00A0 (decimal Unicode codepoint 160). ASCII only defines 0..127.

I've been playing in the space too, and basically agree with what you say but have some other observations. 1. The "fancy" operations like the blending modes (I believe these were origi…

Gilad left Google last July and is now at Tensyr. Source: http://bracha.org/cv.pdf

I've actually some nontrivial progress on xi-win in the past month or two. I still consider it experimental, but it offers basic editing functionality now. It's written basically directly on…

I didn't post this, but am happy to answer questions. It's not quite yet at the point where you want to use it as your daily editor, but we are slowly and steadily getting there.

The title is well supported by a statement in the paper (section 2.1, next to last para): "This clearly indicates that the “thrust” is not coming from the EMDrive but from some elect…

Not actually that hard. You want a WaveShaperNode. Of course, tuning the curve and other parameters so it sounds _good_ is nontrivial. [1]: https://developer.mozilla.org/en-US/doc…

I had one of those too, an ASR 33 with RS-232. I connected it to an Intel SDK-85, which had optional RS-232 stuff on it. Fun times! If I recall, the teletype was sourced from the Green Bank Observator…

We've done quite a bit of performance work, and there's a bit more in the pipeline, especially horizontal scrolling of very large lines. Some of the slowness at the latter is performance bug…

I probably should have said "common" notation; it's certainly what I learned. I think you're right in that many authors prefer ≡ to emphasize that it is an equivalence rather than …

There are few more examples that come to mind, like statements about intervals (π = 3.14 ± 0.01) and the usual notation for modular arithmetic; 3 * 3 = 1 (mod 4). Oh, and the wonderful notation for in…

Thanks for the shout-out. You can also read the docs[0] about the rope data structure (the release is a bit old, if you're really curious git master is better). I admit this is a fairly specializ…

Not sure exactly what you're asking, that sounds pretty much like what that is. See in particular https://github.com/google/music-synthesizer-for-android/blob... …

Sure, it's https://github.com/google/music-synthesizer-for-android . You probably want the "webaudio" branch.…

I'd love to hear more about what technology was used to make this. I actually have a web port of my DX7 emulator, but I don't promote it much. I've also been experimenting more recently…

Indeed. I'm open to the idea of even joining forces, but if the goal is to explore technology choices, it does make sense for them to do their own thing. In the meantime, xi is making progress, a…

I don't think that's true, though I fully admit there's some sample bias (including the fact that I'm senior, as croshan points out). I know a lot of people that do drugs, I had no…

I'll add a data point, though it's almost entirely negative. I've been at Google over 10 years and have yet to come across a person using illegal hard drugs. I can think of three people…

A reminder of a recent discussion here that goes into a lot more detail about why reinforcement learning works well for specialized domains like Go but is having a very hard time generalizing to more …

One thing to try, especially with Glucose: turn off the preprocessing. The preprocessing seems to help with really "hard" instances like you see in SAT competitions, but takes time and doesn…

Absolutely. It's very subtle humor. Students of computer architecture consider x86 to be one of the least elegant architectures around. Its many warts include segment registers (originally a hack…

The phrase 'For example, on the popular and elegant X86 architecture, the single byte 0xF4 is the "HLT" instruction' slays me every time.

Were you perhaps on a debug build? This would be quite surprising in a release build.