Athas

19 ms·

121.
by Athas 5y ago
Local flags can be quite interesting. That Ohio flag is beautiful, but a somewhat different result can be observed in the flag of Brown County, Nebraska: https://www.crwflags.com/fotw/flags/us-ne-br.html
122.
Cost Models Are Contracts(futhark-lang.org)
2 points by Athas 5y ago|0 comments
123.
by Athas 5y ago
Well, to the compiler, the parallelism probably just looks like an opaque call to a higher-order function. The bulk of the program will still be serial code, which will be subject to all the normal optimisations. I talked a bit with one o
124.
by Athas 5y ago
MPL is based on MLton, so they also do whole-program optimisation (the same one, in fact).
125.
by Athas 5y ago
> - Is it your only source of income? Yes, except for a small amount of passive investment income. > - Do all assistant professors at your University earn the same amount of money or is it based on individually chosen fields of resear
126.
by Athas 5y ago
My name is Troels Henriksen and I work as assistant professor at the University of Copenhagen. That is a unique combination, so it identifies me as a person. I'm not averse to my income being connected to my identity.
127.
by Athas 5y ago
I don't know if passport data is supposed to be confidential (i.e. if it can be misused), but I have no compunctions about sharing my salary information. Last month I made the equivalent of $5615 (after deducting pension payments), fr
128.
by Athas 5y ago
From an academic point of view, most parser combinator libraries are basically LL parsers with backtracking. This is eminently practical (especially if the backtracking part is done well), but from an academic point of view that means they
129.
by Athas 5y ago
While I agree that there's much of the UHHB that is still valid (and what's not valid is still funny), I don't think that's a good example. Modern kill allows you to provide the signal name if you wish. I don't th
130.
by Athas 5y ago
Would it be viable to mine the remnants of civilization? Would a garbage dump or the ruins of a 20th century skyscraper be a viable source of iron?
131.
by Athas 5y ago
Not all systems have bash as /bin/bash. A shebang line of '#!/usr/bin/env bash' would be even more portable.
132.
Worm Joke Causes Science Twitter Flame War over Accusations of Sexism and Racism(thedailybeast.com)
2 points by Athas 5y ago|1 comments
133.
by Athas 5y ago
This is probably less readable than it has to be due to the lack of whitespace. I don't know the language (Scala?), but I don't think it's too hard to work it out. First, the '[F[_], A, B]' part are type parameter
134.
by Athas 5y ago
I suppose it depends on how long that CS 101 course would be. At our department, we used to have an initial half-semester course that taught computational problem solving and programming using Standard ML. It was necessarily based on func
135.
by Athas 5y ago
> Counterpoint: it's become a fairly multi-paradigm language at this point, and a multi-paradigm language is exactly what should be the defacto language in curriculums I'm surprised you would say this, as it is the exact oppos
136.
by Athas 5y ago
While this is true, it should be noted that: * Implicit parameters are a language extension, not part of standard Haskell (although extensions are so ubiquitously used that this does not matter much). * Implicit parameters are rarely used[0
137.
Explicit Quantification of Existential Sizes(futhark-lang.org)
2 points by Athas 5y ago|0 comments
138.
by Athas 5y ago
Damn, messed up again. I guess I should run more code and write less text.
139.
by Athas 5y ago
You're right! I fat-fingered that example and nobody noticed (or pointed it out) before you. Fixed!
140.
by Athas 5y ago
I read them by their LaTeX names, which are "ocross" and "odot". Sometimes I will just read them as "cross" or "dot", or even "add" and "times" when applicable.
141.
by Athas 5y ago
What is impractical about recursion?
142.
by Athas 5y ago
Sometimes the absence of features is itself a feature. SML is a much smaller language than OCaml and F#. Offhand, I can't recall anything it has that OCaml doesn't, although it does some things differently (e.g. structurally typ
143.
Langjam 0001 Winners(youtube.com)
2 points by Athas 5y ago|0 comments
144.
Futhark in the Browser(futhark-lang.org)
2 points by Athas 5y ago|0 comments
145.
by Athas 5y ago
As I understand it, an important point of software citations is to help academic researchers who are (unfortunately) measured by citation metrics. Will whatever tools the bean counters are using connect "the <project> contributo
146.
by Athas 5y ago
I'm all for citing software. I still don't understand the guidelines for who to list as an author, though. In modern open source projects, you're going to have a very long tail of drive-by contributors. Some of these might
147.
by Athas 5y ago
Many of these algorithms are bandwidth- or cache-limited on modern machines, so you can get significant speedup by storing your data in fewer bytes, even if you expand it in registers before actually doing computation on it.
148.
by Athas 5y ago
Do you have more details? I read https://gcc.gnu.org/onlinedocs/gcc/Half-Precision.html which made it look like a rather exotic feature that would not be available on all systems (and https://gcc.gnu.o
149.
by Athas 5y ago
What happens on overflow or 0/0 with this format?
150.
by Athas 5y ago
Sure, why not. I don't think it would be that difficult, and can be emulated with single-precision just as well as fp16 for the systems that don't support it in hardware.

More ›