but just... why?
Multiverse Computing is one of the weirdest companies I've encountered here in Europe/Spain. Their product / job application descriptions are just technobabble. Despite my doubts I applied to one of their positions a…
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…
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…
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…
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…
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…
For people scared off by C++ and who want faster recompile times, check out the Nim bindings [0]. Check out his Twitter/X account [1] for plenty of cool things it brings to the table. [0]:…
Check out the paper and not a PR piece [0]. [0]: https://stsci-opo.org/STScI-01HA2G716KS9YGAGVY1WBVFJ8Y.pdf
Nope, that is the old paper about Hubble measurements of the same planet. The preprint of the Webb based paper is here [0] from here [1]. [0]: https://stsci-opo.org/STScI-01HA2G716KS9YGAGVY1WBVFJ8Y.pdf [1]:…
Damn, I read that book as a teenager in 2006 or 07! I've been thinking about a reread whenever I remember it. It was the book that really made me appreciate the whole technological singularity idea back then.
The point is you can always pick a "part" of some place small enough to make any statement of that sort true. Pick a couple of square meter where someone died: "everyone died in parts of X". Pick the area around a…
but just... why?
Multiverse Computing is one of the weirdest companies I've encountered here in Europe/Spain. Their product / job application descriptions are just technobabble. Despite my doubts I applied to one of their positions a…
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…
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…
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…
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…
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…
For people scared off by C++ and who want faster recompile times, check out the Nim bindings [0]. Check out his Twitter/X account [1] for plenty of cool things it brings to the table. [0]:…
Check out the paper and not a PR piece [0]. [0]: https://stsci-opo.org/STScI-01HA2G716KS9YGAGVY1WBVFJ8Y.pdf
Nope, that is the old paper about Hubble measurements of the same planet. The preprint of the Webb based paper is here [0] from here [1]. [0]: https://stsci-opo.org/STScI-01HA2G716KS9YGAGVY1WBVFJ8Y.pdf [1]:…
Damn, I read that book as a teenager in 2006 or 07! I've been thinking about a reread whenever I remember it. It was the book that really made me appreciate the whole technological singularity idea back then.
The point is you can always pick a "part" of some place small enough to make any statement of that sort true. Pick a couple of square meter where someone died: "everyone died in parts of X". Pick the area around a…