Athas

5 ms·

1.
by Athas 7d ago
They ask the guy who also names telescopes for the next name on the list.
2.
by Athas 1mo ago
The problem is not the total time commitment, but the flexibility of when that time can be spent. The time expenditure for a written exam (writing the exam set, testing it, correcting submissions, having a grading meeting) can be spread ove
3.
by Athas 1mo ago
Clarification for non-Danes: this post is not entirely accurate. Not all Master's courses in Denmark have oral examinations, and many courses before the Master's level (including elementary school) have oral exams. It is unrelated
4.
by Athas 1mo ago
I run my personal website (and a bunch of other websites and services) off a somewhat more expensive but still reasonable VPS (I think 20€ at TransIP - it's so little that I forgot). Load is basically nil most of the time anyway. I thi
5.
by Athas 2mo ago
One of the charming parts of IRC is just how simple it is to do things with it. Much is lost in more featureful protocols.
6.
by Athas 2mo ago
Yes, I really wonder how they expected people would react to that.
7.
by Athas 2mo ago
Comic Chat is a piece of Internet history, but I remember that it was somewhat reviled when I first started being active on IRC. This was around 2002, so it was probably due to some cultural memory rather than anyone having actually used it
8.
by Athas 3mo ago
I have never used Qualcomm's OpenCL driver, but it is not unknown to get the NVIDIA driver into a state where some kernel is stuck in a running state, or some memory is allocated long after the originating process has terminated. This
9.
Parallel Parentheses Matching(williamdue.github.io)
124 points by Athas 3mo ago|17 comments
10.
by Athas 3mo ago
Yes, this also stood out to me. I usually think of CPUs and memory having parity in the early 80s, but I never bothered to check for sure. I do remember some early computer architects writing about memory being faster than the CPU!
11.
by Athas 4mo ago
I wrote a bit about this some years ago: https://futhark-lang.org/blog/2020-05-03-higher-order-parall... - but note that Jax isn't subject to these constraints; it's more like Accelerate and Futhark. I'm
12.
by Athas 4mo ago
One big difference compared to NumPy (which you may or may not care about depending on how picky you are), is that Accelerate is a higher-order programming model. Basically, you can have 'map' (with a user-provided function), and
13.
by Athas 4mo ago
Making Haskell programs go faster. I will say that Accelerate is in most cases not faster than similar libraries for other languages (e.g. Jax), but the integration with normal Haskell is very pleasant. As Haskell is a very nice and practic
14.
by Athas 5mo ago
> Isn't the data they capture so valuable that they (Microsoft) are happy to eat the cost? Even if that is true, unless the value of the data corresponds to near-term revenue, then eventually the cost may simply not be possible to m
15.
by Athas 5mo ago
This page reads like an exasperated response to constant discussions and requests for how to extract strontium nitrate from road flares, and emphasizes that it is hard and pointless in the first place. I never noticed such discussions, but
16.
by Athas 7mo ago
As others have mentioned, such tools exist. However, I believe they do more harm than help. Good --help output does not make for good --man output. In particular, while man pages are terse, good ones are more than just lists of command line
17.
by Athas 8mo ago
That depends on the language. I have used (and implemented) languages where arrays are modeled as a function from an index space to some expression. During compilation, this is used to drive various optimisations. For those arrays that need
18.
by Athas 8mo ago
The post explains that 'a[i]' can easily enough be written as 'a i'. Your suggestions do not resemble the current function application syntax in the language discussed in the post. The question is not whether a terse sli
19.
by Athas 8mo ago
Depending on how you look at things, functions can also be mutated at run-time. Most impure languages allow you to define a function that has some internal state and changes it whenever it is applied. In C you would use 'static' v
20.
by Athas 8mo ago
In some sense, Go does not allow you to change the major version. Packages with the same name but different major versions are treated as different packages.
21.
by Athas 1y ago
It is basically dependent types, but there is a specific and intentional omission (no true dependent products) that interacts with another feature (the ability to hide sizes) that ultimately causes the mess. I elaborated on it here: https:
22.
Steering Committee Retrospective(haskellforall.com)
3 points by Athas 1y ago|0 comments
23.
by Athas 1y ago
This blog post showcases V in a positive light. I suppose it is good that people can have productive experiences with it now, although I don't see from this post why it is a significant improvement on Go. The problems discussed (perfor
24.
by Athas 1y ago
The greatest value brought by compiler optimisations is removing the overhead of convenience. Sometimes that is about avoiding the boxing that is a necessity in many high level languages, but in other cases it serves to allow a more modular
25.
by Athas 1y ago
How does this avoid rounding error? Division and multiplication and still result in nonrepresentable numbers, right?
26.
by Athas 1y ago
The problem with fixed point is in its, well, fixed point. You assign a fixed number of bits to the fractional part of the number. This gives you the same absolute precision everywhere, but the relative precision (distance to the next highe
27.
by Athas 1y ago
Yes, but you're not going to have efficient transcendental functions implemented in hardware.
28.
The GradBench Benchmark Suite for Automatic Differentiation(sigkill.dk)
1 points by Athas 1y ago|0 comments
29.
by Athas 1y ago
Who do you work for? And is packaging ROCm for Debian really a full-time job, or is it just a part of your job? As messy as ROCm's packaging is, I can't imagine spending all day every day trying to fix it.
30.
by Athas 2y ago
Most recent I remember was in 2011: https://github.com/ocaml/ocaml/issues/5419

More ›