raphlinus

I think you're overstating the case against ZFC as a practical basis for proof formalization. The Metamath project has got pretty far even without powerful tactics and so on, and has an appealing…

As a followup, this proof has now been declared as fatally flawed by John Carlos Baez, with some additional analysis by Noam Zeilberger. The argument is beyond my personal mathematical knowledge, but …

I love how "ski" is such an outlier for highly upvoted TLDs. Either the Hacker News crowd really loves skiing, or ciechanow.ski is responsible. I bet there is a similar story for most of the…

Here's a fairly recent paper on techniques to reduce the aliasing: https://www.dafx.de/paper-archive/2016/dafxpapers/20-DAFx-16... …

How dare you say that!. Humility was an integral part of his brand. So much so that he titled his Turing Award lecture "The Humble Programmer"[0]. [0]: https://www.cs.utexas.edu&#…

That certainly sounds like him! Actually I have an even more amazing artifact. He wrote out the entire book "Predicate Calculus and Program Semantics" as a manuscript, beautifully formatte…

Yes, we were corresponding for a while, this wasn't just a response to a cold contact. My dad, who was quite a promoter and very invested in the idea of me being a gifted kid, reached out to a bu…

This seemed strangely familiar. Nice writeup though! I like the way it derived the logic rather than just presenting the solution.

Indeed. I think we've lost a little something from that era, though, where it took some effort to reach out, sending a letter on paper. These days, it's super easy to contact someone on soci…

And to add more continuity to the circle, here is a short memorial I posted to Advogato on Dijkstra's death, just over 20 years ago: https://web.archive.org/web/2017062906065…

I don't know for sure, but I suspect so. He was meticulous in so many ways, including his thought, his language, and of course his handwriting, so it seems entirely in character that he would red…

The addition operator just landed in Rust 1.66 (checked_add_signed[1]), but the subtraction one it looks like you'd need to roll your own. [1]: https://github.com/rust-lang/r…

Oops, you're right. Too late to edit, sorry about the confusion.

I posted overflow checking of signed integer arithmetic as a puzzle yesterday[1]. I got some good responses but none quite as minimal wrt number of instructions as my own solution: bool add_will…

Oh, I wouldn't worry. What would make a collab video cool is not dazzling people with mathematical BS, but rather visually showing the geometric and physical principles behind the splines, especi…

You're remembering right, and the accusation is in this video 3 weeks ago where he has Marc Cohodes accusing Bloomberg of spiking the story because it would be bad for (crypto) advertisers. A goo…

Coffee's recent interview on the Lex Fridman podcast gives more background to these investigations, and specifically why you're not seeing them in mainstream media. Basically, Coffee is taki…

Ooh, the Chebyshev basis is neat. I hadn't seen exactly that before. It reminds me a lot of the "shape control" technique[1] which is also similar to a basis function approach but has a…

Super good question. My thesis has both G2 and G4 continuous splines based on polynomial spirals ("spiro curves"), and the G4 definitely has more "wiggles," ie sensitivity to pertu…

Seconded. A lot of the video runtime is covering fairly well known topics, but there are moments of brilliance, where it made things "click" for me. The treatment of the characteristic matri…

I'm very happy to see this work! The era of rendering vector graphics in GPU compute shaders is upon us, and I have no doubt it we'll start seeing these in production soon, as there's j…

A related question is why journalists didn't blow this open months earlier. Coffeezilla did a video a couple weeks ago where he has Marc Cohodes accusing Bloomberg of spiking the story because it…

Obviously it is юж.

It's a new repo (and currently early days still) but we expect to build up the widget collection by doing a lot of adapting of the existing Druid widgets with generally minimal adaptation.

I'm really happy to see this work, and am not even mad that the first Rust GUI toolkit to get the integration is egui. We intend to integrate AccessKit deeply in the UI work we're undertakin…

I really wanted to get into Rust programming, but was turned off by the toxicity of the community. Their smug attitude of superiority really turns people away. I've been programming in C and C++ …

> If Elon thinks this is some sort of big shock that will cause people to get excited.... I can't really see why. Of course people will get excited. If Elon were to flog a "Hunter Biden&#…

The blog speaks to this explicitly, in the "what about unsafe Rust" section. The tl;dr is that the number of unsafe sections is a small fraction of the total code size, and it's much ea…

I have some stuff on real splines (their similarity and difference from the mathematical idealization) in section 3.12 of my thesis (page 39 of https://www.levien.com/phd/thesis.p…