Athas

14 ms·

151.
Supporting half-precision floats is annoying(futhark-lang.org)
61 points by Athas 5y ago|39 comments
152.
by Athas 5y ago
> ROCm from AMD has its restrictions, but... it really is easier to program than OpenCL. Its a superior model: having a single language that supports both CPU and GPU code is just easier than switching between C++ and OpenCL (where data-
153.
by Athas 5y ago
If you took SML and removed reference cells and the parts of the standard library that involve IO, then you'd have a pure language (depending on whether you consider exceptions to be effects). It would not be useful for application pr
154.
by Athas 5y ago
Certainly, it reduces to reverse-mode AD on fairly arbitrary (although usual scalar) code. You definitely need a compiler or preprocessor to do that for you.
155.
by Athas 5y ago
Could you naively compose the distance functions and then use automatic differentiation to compute the gradient? As long as the distance functions are differentiable, so should their composition be.
156.
by Athas 5y ago
> So, when adding a regular fBM, sine wave or any other displacement function to a "host" SDF, we don't get a valid SDF anymore (we violate the principle that the gradient of an SDF must have length 1.0). Can someone elabo
157.
by Athas 5y ago
> If a major company invested in the SML ecosystem, it would take over the programming world. I like SML both out of nostalgia and for its actual merits, but I don't think that's true. SML was far ahead of its time, but it&#x2
158.
by Athas 5y ago
Presumably, if someone took that kind of control over Ethereum, its value would rapidly become zero.
159.
by Athas 5y ago
You don't go through the TTY model, but read directly from devices (if the kernel allows it). But people will hate you for it, since it doesn't fit with the abstraction layers that are commonly used, one of which is that only ch
160.
by Athas 5y ago
`.cpp` is very common. I never understood the point of `.C`; even ignoring issues with case sensitivity, it is too easy to visually confuse with `.c`, and doesn't even have much of a mnemonic connection to the name C++.
161.
by Athas 5y ago
No, because this makes it seem like they are not making the right decisions because they are right , but only because doing the wrong thing made them unpopular. It makes you wonder what other wrong things they do that doesn't elicit
162.
by Athas 6y ago
But what are the odds that obscure formats like this will be implemented (and maintained) without security holes? I vaguely remember an exploit where the GNOME file viewer would automatically preview samples of any audio file that (I think
163.
by Athas 6y ago
The storyline in Morrowind is great, but it is told in an unusual way. At the surface it's a fairly traditional Chosen One story about killing the Big Bad, but if you dig a little deeper, listen to the various NPCs, and read the vario
164.
by Athas 6y ago
To be fair, TES has both horse armour DLC and an incredibly huge modding community.
165.
by Athas 6y ago
I agree with this. I played OpenMW some years ago, and I was stunned at the quality. It's one of those open source projects where the quality is just implausibly good, especially considering how few open source games exist at all. (
166.
by Athas 6y ago
Yes, but I'm curious which specific transformations and optimisations were specific to the mainframe culture. C compilers specifically were pretty crude for a while, but there was lots of other stuff going on (e.g. all the work on com
167.
by Athas 6y ago
Which techniques are these?
168.
by Athas 6y ago
I'm always curious about other evolutionary offshoots than the Unix monoculture I mostly inhabit, but this intro... > Adaptive business and operating models, driven by accelerated disruptions, are shaping the future of enterprises t
169.
Papers Without Code: where unreproducible papers come to live(paperswithoutcode.com)
2 points by Athas 6y ago|0 comments
170.
by Athas 6y ago
If you read the article, you'll find that the Earth is extremely hard to blow up. It's an enormous ball of iron, and almost any explosion at the surface is unlikely to affect it much. You'd have to detonate a bomb close to
171.
by Athas 6y ago
This is such a sad story. Nothing can bring back the dead, but we can try to prevent a repeat of the events, and ensure that their death was not in vain. It is heartening to see that ACM took the investigation seriously, and actually did
172.
by Athas 6y ago
I attended FOSDEM this year, and the platform worked quite well. Sure, there were the occasional technical hiccups, but bugs can always be fixed if the foundations are solid, and they appeared to be. Since FOSDEM's physical environme
173.
by Athas 6y ago
Am I missing something subtle? Why would you get a runtime exception if you call this function?
174.
by Athas 6y ago
I'm happy to see that McCLIM is still alive! I hacked on it during my teenage years (I wrote Drei and a few other things), although I eventually lost motivation due to the sheer vastness of how much work there was to do. Out of curios
175.
by Athas 6y ago
The WTFPL is "recognized" in the sense that several Linux distributions ship software released under it. I don't think it has been "recognized" in boring legal terms by any of the organisations that we normally tru
176.
by Athas 6y ago
PostgREST is written in Haskell and quite popular: https://postgrest.org/en/v7.0.0/ Shellcheck has become a very important tool to many people writing shell scripts: https://github.com/koalaman&#x2
177.
by Athas 6y ago
NumPy is a really well isolated local maximum, because it gives you just enough of a performance edge in a generally comfortable programming environment (Python). Most things that are faster or more flexible than NumPy are much more alien
178.
by Athas 6y ago
I don't think this is true anymore. From the TIOBE top 10 (that hallowed source of truth), I count only three languages whose main implementation is written in C (Python, PHP, R). Extending to top 20 only adds two more (Perl and Ruby
179.
A Comparison of Futhark and Dex(futhark-lang.org)
60 points by Athas 6y ago|9 comments
180.
by Athas 6y ago
Strongly agreed! During my PhD I had to design array type syntax for a programming language, and we eventually came up with something similar to that: https://futhark-lang.org/blog/2016-12-09-two-syntax-design-p...

More ›