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 switch away from Garmin yet. [0]:…
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 in the Nim community though. If I'm…
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 the modern libraries Theano is clunky,…
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/Skills: - Languages: Nim, C, C++, Python,…
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 a few more things than necessary. The…
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). But realistically such plots are often…
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 pretty sure I'm not the only one who's…
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 will stumble over all sorts of issues.
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... we might actually see movies being…
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 numerical algorithms).
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 lot, e.g. derivatives of a unitful…
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. We do have infix unicode operators…
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 often does things that from a pure…
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 Numbat. Annotating the "force" variables…
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 even pretty much looks identical to those…
> 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 question is surprisingly subtle, but a simple…
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 served as inspiration for an X-ray…
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 sounds like he's describing Nim. Ok fair,…
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 read up on, how to troubleshoot stuff…
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 search engines being too lenient with…
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 usually don't have valves at every…
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]). Compiling the entire OpenUSD…
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 switch away from Garmin yet. [0]:…
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 in the Nim community though. If I'm…
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 the modern libraries Theano is clunky,…
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/Skills: - Languages: Nim, C, C++, Python,…
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 a few more things than necessary. The…
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). But realistically such plots are often…
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 pretty sure I'm not the only one who's…
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 will stumble over all sorts of issues.
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... we might actually see movies being…
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 numerical algorithms).
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 lot, e.g. derivatives of a unitful…
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. We do have infix unicode operators…
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 often does things that from a pure…
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 Numbat. Annotating the "force" variables…
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 even pretty much looks identical to those…
> 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 question is surprisingly subtle, but a simple…
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 served as inspiration for an X-ray…
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 sounds like he's describing Nim. Ok fair,…
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 read up on, how to troubleshoot stuff…
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 search engines being too lenient with…
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 usually don't have valves at every…
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]). Compiling the entire OpenUSD…