Viewing profile — joseluis

Even the paid version doesn't include aac support in Linux so you have to transcode the audio from videos recorded from your phone, with ffmpeg for example, prior to opening them w…

This is a small helper for running Cut-the-Knot Java applets locally. It handles the published classes archive and lets you work directly from the original Cut-the-Knot page URLs w…

Just a nitpick. Rust's char is really a 21 bit unicode scalar value (a code point without surrogates) using a 32-bit representation and indeed there are a lot of invalid char value…

I agree in that the meaning of prove in that context is "put it to the test" but for me it doesn't go as far as finding the rule incorrect, because it's a general rule, not an abso…

The key difference is that this is a multidisciplinary conversational interface, and a tool in itself for interrelating structured meaning and reshaping it coherently enough so tha…

That's exactly how I see coffee, and I keep stopping taking it and then coming back every few months...

You can do a handy struct wrapper over a private Nonzero that xors the given value with the prohibited value (max in this case) at the new constructor. And like so for the get meth…

I found that the stripping of the libc made impossible for me to manage signals that didn't exit the program. E.g. Sigint worked fine as long as the callback didnt return to the ca…

Rust macros can be used like that: let hello = dbg!{ dbg![ dbg!("world") ] };

And I'm sure they also did crazy useful complex things with rope, strings, fibers, textiles and skins.

I was thinking Spain, it describes the situation here perfectly.

Very pretty. And to relate it somewhat to the topic: 1/27 = 0.037 repeating 037 and 1/37 = 0.027 repeating 027 :)

My favorite combination is Mint + Xfce + openbox as the window manager which leaves the CPU at 0% when not doing anything, and is very responsive and versatile. I had to setup sepa…

> exceeds v10-15 What do you think about internet browsers like Firefox and Chromium?

That must be without stripping. Also there are ways to reduce binary size. See e.g. [min-sized-rust]( https://github.com/johnthagen/min-sized-rust ). I've gotten stripped binaries …

You can add Rust to the list https://crates.io/crates/rust-script

Having both approaches available would be better IMHO. Builder pattern is very nice but I frequently miss having named arguments too. Even if macros can partially fullfill that nee…

Hmm... I wonder if it will be possible some day to use posits in Posit: - https://posithub.org/ - https://en.wikipedia.org/wiki/Unum_(number_format)#Posit

Apart from many good and very well known channels already shared: - math videos https://www.youtube.com/c/TheMathSorcerer - math videos https://www.youtube.com/c/brightsideofmaths …

I really think this paper should be more widely known, because it's eye opening: https://physicsdetective.com/something-is-rotten-in-the-stat... It made me realize QED is the equiv…

it reminds me of some adage for surgeons in training: see one, botch one, nail one.

we don't even need to be able to calculate everything, we just need to fool you! The Truman's show meets the Matrix.

I'd love to see a dynamic raytracing of a high resolution 3d scan of this picture or another masterpiece. I doubt nobody has attempted to do this before.

well... come to the future: https://www.youtube.com/watch?v=dcjkezf1ARY

another crappy experience with a Dell xps15 9575... the feeling of a laptop built to quickly auto desintegrate, with crappy components, bad BT/wifi module, very unreliable touchpad…