Viewing profile — V1ndaar

Huh, I completely missed that. I've been using python-garminconnect [0] for a few months without issues. I agree though that it's annoying, though not reason enough for me to switc…

It's cheap to hide behind a pseudonym here and complain as you do. Given the time scales you mention and how you are complaining, I have a theory under what nick you were present i…

I didn't realize Keras was actually released before Tensorflow, huh. I used Theano quite a bit in 2014 and early 2015, but then went a couple years without any ML work. Compared to…

Location: Spain (80%) | Germany (20%) Remote: Preferred, but open to hybrid positions in Spain Willing to relocate: Not currently, but open to work-related travel Technologies/Skil…

I would blame the majority of your criticism on the fact that HN is not the best place to read code. Also, syntax highlighting & basic familiarity with Nim helps. His code is doing…

That is certainly true (and why added a general "embed plot data as bitmap into SVG/PDF" option to https://github.com/Vindaar/ggplotnim that works not only for raster heatmaps). Bu…

And not only that, in many cases they will tell you (if they reply) "oh, we can't find the source of that plot anymore". Happened to me quite a few times (although in physics). I'm…

Thanks your your input. You made me realize I can use my Hetzner storage box for precisely the same. Neat!

> The Datamancer data frame library is incredibly robust. Thank you for the kind words! :) Especially given that it's a one-man side-project always makes me a bit worried people wi…

My hope is that thanks to stuff like DLSS frame generation in video games (or maybe AR/VR) that the opinion of a majority of people will change over time. So that eventually maybe.…

I nowhere said impossible! All I say it is tricky and that likely the code you write will have to be adapted in certain cases (compared to current existing implementations of numer…

I mean that article of yours highlights the difficulties one encounters fairly well, I would say. I don't disagree that this is (generally) a tricky problem! Nim allows you to do a…

Yeah, unicode characters in Nim code are supported. However, if by `x²` you'd want to square an identifier `x`, that won't work. The Nim lexer parses `x²` as a single identifier. W…

Gaussian elimination in what context even? If your LA library supports generic types, it might work. But generally generic math operations are tricky to get right, because math oft…

Whoops, guilty as charged. I did indeed glance over that (both the text and the equation not actually being 1/r²). In this case to get compiler help it's pretty much identical to N…

Or you could just use Nim [0], where this sort of thing can be implemented in Nim's macro system. Then you have a regular programming language combined with CT safe units. :) It ev…

> An obvious question when formalising a maths paper is how much the proof needed to change to be formalised: in other words whether there were any flaws in the paper. This questio…

Oh, thanks a lot for the clarification! And thanks for the work on the book in general. :) I need to look into the changes then. The spectrum implementation of the 3rd version serv…

Pretty sure the 3rd edition already contained that, no? At that time (not sure if that's still the case now) the choice was a compile time option, iirc.

Evince does the same. It's a great feature, I agree.

I mean honestly, the closest language to Mojo really is Nim. In the latest Lex Fridman interview with Chris Lattner [0] when he talks about his ideas behind Mojo it pretty much sou…

For me it is partially that for sure. There's plenty of stuff I would - in theory - not mind to post publicly. E.g. my personal notes about interesting stuff I stumble on, want to …

Honestly, the "golden days" of using reddit for that purpose are over, too. Both the fact that random other crap comes up due to how stuff is linked on reddit and generally most se…

Sure, it's very common to flush a system with dry nitrogen for that reason. But of course if you have to fully open a part of the system you're usually out of luck (also you usuall…

It seems really neat! I recently received a .usdz file and was hoping this would be able to work with it. Unfortunately, that's not the case yet (but there's an issue about it [0])…