Hacker News: joseluis

New comment by joseluis in "DaVinci Resolve – Photo"

joseluis — Tue, 14 Apr 2026 07:57:56 +0000

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.

Show HN: ctk-applet – run Cut-the-Knot Java applets locally

joseluis — Sat, 14 Mar 2026 13:19:29 +0000

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 with appletviewer.

I ended up making it after trying to use the applets myself and realizing the old workflow was still more cumbersome than it needed to be.

Comments URL: https://news.ycombinator.com/item?id=47376413

Points: 1

# Comments: 0

New comment by joseluis in "Using uninitialized memory for fun and profit (2008)"

joseluis — Wed, 23 Jul 2025 23:35:06 +0000

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).

New comment by joseluis in "The centrality of stupidity in mathematics"

joseluis — Tue, 17 Sep 2024 20:18:47 +0000

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.

New comment by joseluis in "Terence Tao on O1"

joseluis — Sat, 14 Sep 2024 19:55:38 +0000

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.

New comment by joseluis in "WTH Is Cerebrolysin, Actually?"

joseluis — Sat, 17 Aug 2024 15:02:02 +0000

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

New comment by joseluis in "Ointers: A library for representing pointers where bits have been stolen (2021)"

joseluis — Wed, 08 May 2024 16:32:54 +0000

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 method. Xoring is very cheap. That's my favorite way of storing indices/links for nodes, since you can wrap them in Option for free.

New comment by joseluis in "A small Rust binary indeed (2022)"

joseluis — Mon, 19 Feb 2024 00:11:04 +0000

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.

New comment by joseluis in "We need to talk about parentheses (2020)"

joseluis — Tue, 13 Feb 2024 14:21:35 +0000

Rust macros can be used like that:

let hello = dbg!{ dbg![ dbg!("world") ] };

New comment by joseluis in "Rope making in the Aurignacian of Central Europe more than 35,000 years ago"

joseluis — Sun, 04 Feb 2024 14:50:41 +0000

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

New comment by joseluis in "The Lack of Compensation in Open Source Software Is Unsustainable"

joseluis — Fri, 17 Nov 2023 22:54:51 +0000

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

New comment by joseluis in "37, the median value for the second prime factor of an integer"

joseluis — Mon, 13 Nov 2023 10:02:34 +0000

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

New comment by joseluis in "Xfce Wayland Development Roadmap"

joseluis — Thu, 14 Sep 2023 11:51:19 +0000

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...

New comment by joseluis in "ZeroVer: 0-Based Versioning"

joseluis — Sat, 08 Jul 2023 06:48:40 +0000

> exceeds v10-15

What do you think about internet browsers like Firefox and Chromium?

New comment by joseluis in "Tiny Binaries (2021)"

joseluis — Fri, 16 Jun 2023 07:44:06 +0000

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...

New comment by joseluis in "Single-file scripts that download their dependencies"

joseluis — Sun, 15 Jan 2023 23:18:28 +0000

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

New comment by joseluis in "Rust 1.64.0"

joseluis — Thu, 22 Sep 2022 17:22:12 +0000

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...

New comment by joseluis in "RStudio Is Becoming Posit"

joseluis — Wed, 27 Jul 2022 15:05:51 +0000

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

New comment by joseluis in "Ask HN: YouTube Channels for the Intellectually Curious"

joseluis — Mon, 25 Jul 2022 07:03:24 +0000

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

New comment by joseluis in "Did the W-boson just “break the standard model”?"

joseluis — Sat, 30 Apr 2022 17:52:08 +0000

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.