HN user

joseluis

127 karma
Posts1
Comments65
View on HN

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 with resolve. That's the biggest inconvenience it has for me in Linux. And plugins can't solve that either, because apparently can only add codecs for encoding, not for decoding.

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 values in a 32-bit space. Utf-8 is a different encoding format for code points using variable width (1-4 bytes per).

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 absolute rule. A lot more exceptions would be necessary to make the rule incorrect for the general case.

Terence Tao on O1 2 years ago

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 that it can be of great value both in the specific domain of the dialog, and in the potential to take it on any tangent in any way that can be expressed.

Of course it has limitations and you can't be sleep at the wheel, but that's true of any tool or task.

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 caller but e.g. trying to use Sigwinch or sigcontinue segfaulted and I never found a way to make that work from scratch in this type of binaries without linking to libc... I wonder if that's even possible.

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 separate dark themes for each one but now it looks good.

The only thing I don't like is thunar freezing often when doing long blocking IO operations...

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 of small cli utils less than 400KiB without doing anything special, less than 150 KiB by customizing profile settings and compressing with upx, and less than 30 KiB by replacing the std with the libc as the link shows. Haven't tried with fltk though...

Rust 1.64.0 4 years ago

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 need, it's not the same and introduces more quirks and complexity...

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

- math videos https://www.youtube.com/user/standupmaths

- mainly physics, plus chemistry, astronomy, math, and mechanical engineering videos https://www.youtube.com/c/MichelvanBiezen

- chemistry & physics https://www.youtube.com/c/AdvancedTinkering

- machine learning papers https://www.youtube.com/c/K%C3%A1rolyZsolnai

- painting & composition https://www.youtube.com/c/IanRobertsMasteringComposition

- medicine https://www.youtube.com/c/NinjaNerdScience

- medicine https://www.youtube.com/channel/UCFPvnkCZbHfBvV8ApBBE0vA

- therapy https://www.youtube.com/channel/UCbWvYupGqq3aMJ6LsG4q-Yg

- perspectives on physics and cosmology https://www.youtube.com/c/SeethePattern

- analysis of materials impacted by high energy phenomena https://www.youtube.com/c/MartinFleischmannMemorialProject

- perspectives on physics https://www.youtube.com/user/TheMachian/

- anatomy https://www.youtube.com/c/InstituteofHumanAnatomy

- signal processing https://www.youtube.com/user/allsignalprocessing

- solving complex sudoku-derived puzzles https://www.youtube.com/c/CrackingTheCryptic

- the art of listening: music albums gems https://www.youtube.com/channel/UC7shUDSkHjuQNegPhGdANQQ

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 equivalent of a million lines spaghetti codebase that's been continually built upon, fudge after fudge since the 40s, while being sold as the best thing ever, the ultimate model of reality, etc. While it really started as a temporary solution like a bash script that should've been replaced by something more elegant... many decades ago. And now we are in this mess.

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, butter screws... everything sucked ass. I remember also not being able to use the laptop 90 degrees on its side to see a movie for example because the keyboard would stop working and the fan would start to run at max speed. that was the worst laptop I've ever had and the most expensive too. never again dell for me.

after that I bought a custom 14 inch laptop in pcspecialist back when they still had amd ryzen models (Ryzen 7 4800H 8 cores, 64 Gb ram, no preinstalled OS...) which is the best laptop I've ever had in my entire life. It's been complete opposite experience in terms of enjoyment and reliability, with very few issues using Linux (my only complain the inability to put to sleep, because it messes up the video after waking up even with the latest kernel).

the solution I believe would be to focus on creating simpler tools, and by that I mean tools with at least the same usefulness/as powerful as the ones we have now, but with much less cognitive burden, with better interoperability and composability by using simple standard data interchange formats.