Athas

36 ms·

331.
by Athas 7y ago
Is the code available? The links are dead.
332.
Running Futhark on the Nvidia Jetson Nano(futhark-lang.org)
1 points by Athas 7y ago|0 comments
333.
Developers are now measured in views and subscribers – and that's wrong(habr.com)
4 points by Athas 7y ago|0 comments
334.
by Athas 7y ago
This looks like W3C capitulating: > WHATWG maintains the HTML and DOM Living Standards Which is understandable, since all of the main implementers of HTML are active in WHATWG, not so much W3C. What will be the concrete impact of this ag
335.
Talk to Your GPU with Futhark(medium.com)
3 points by Athas 7y ago|0 comments
336.
by Athas 8y ago
Do you have a concrete example of how this would work? If I write some garbage and ask the computer to run it, what should happen? I think term rewriting languages are close to this idea, in that if you write something that is not a redex,
337.
by Athas 8y ago
Sure, and you can use things like co-recursion, which is how Agda (a total language) models potentially non-terminating computations. It means that while you can run forever, you need to perform productive work within finite time. As an e
338.
by Athas 8y ago
You need some form of unbounded while loop for Turing completeness, but it can take many forms.
339.
by Athas 8y ago
> I wonder what it would take for the compiler to understand this algebraic structure? Is this something feasible with more developer resources? Possible, but not feasible. Map-reduce fusion in particular is difficult when the reduction
340.
What is the minimal basis for Futhark?(futhark-lang.org)
27 points by Athas 8y ago|8 comments
341.
Chrome, Safari, and Edge to Prevent Disabling of Click Tracking Privacy Risk(bleepingcomputer.com)
222 points by Athas 8y ago|74 comments
342.
Futhark 0.10.1 Released(futhark-lang.org)
2 points by Athas 8y ago|0 comments
343.
by Athas 8y ago
> He seems to be arguing that in order to weed out poor engineers he prefers to keep things complicated. I don't know whether this is his goal (he does make it sound like it), but I think the consequence is another: In order to mana
344.
by Athas 8y ago
I don't think this is the objective. It would certainly never happen - for political reasons, there is no way Emacs would ever depend on a non-GNU compiler.
345.
Incremental Flattening for Nested Data Parallelism on the GPU(futhark-lang.org)
3 points by Athas 8y ago|0 comments
346.
Futhark 0.9.1 released – now with CUDA backend(futhark-lang.org)
72 points by Athas 8y ago|14 comments
347.
by Athas 8y ago
As a user, you can always ask for the package to be compiled from source. This is also what will happen if you ask for non-standard options. The advantage of using binary packages is time: I have a Homebrew formula that takes 40 minutes t
348.
A Port of KABOOM from C++ to Futhark(github.com)
2 points by Athas 8y ago|0 comments
349.
KABOOM! in 180 lines of bare C++(github.com)
2 points by Athas 8y ago|1 comments
350.
by Athas 8y ago
Then why not just say 'Julia has macros'? Lightly perusing the description of Julia's features, that seems like a clear way of expressing what it is. (I also vaguely recall Julia describing its type system as "dependent
351.
by Athas 8y ago
Yeah, the Vega 64 (like most high end gear) is probably not worth the expense. I had a surplus of money at the time and I do GPU programming research, so I could justify it. I also hear that while it has nice compute performance, it'
352.
by Athas 8y ago
I strongly recommend AMD. After a long time of using NVIDIA due to their superior Linux drivers, I got myself a Vega 64 when I built a new desktop computer last year. After so many years of driver woes, it was almost unreal having acceler
353.
by Athas 8y ago
> I'm a UX designer/developer. There is something to be said for these old terminal systems, when it comes to repetitive daily tasks. Out of curiosity, are you then employing the experiences of your mother when designing user i
354.
Giving programmers what they want, or what they ask for(futhark-lang.org)
1 points by Athas 8y ago|0 comments
355.
by Athas 8y ago
I've done a good bit of CUDA and OpenCL. I haven't dug into this GCC implementation, but my guess is that you're banned from using any features that require sophisticated runtime support (like exceptions or RTTI). Things li
356.
by Athas 8y ago
OCaml and Standard ML are two others, and I'd say OCaml is established enough that Elm is not really breaching new ground here. The main difference is that OCaml has other features you tend to use instead, particularly the module syst
357.
by Athas 8y ago
It would be possible to generate both CPU and GPU versions at compile-time, and pick the best one at run-time based on the data encountered. I do research on a similar technique for the Futhark language.
358.
by Athas 8y ago
Even knowing what I was getting into, this game is truly infuriating! That's quite amazing.
359.
Why Futhark (sometimes) goes wrong(futhark-lang.org)
2 points by Athas 8y ago|0 comments
360.
by Athas 8y ago
I think the latter restriction is because multi-user macOS are rare. Linuxbrew is very much oriented towards non-root uses and works quite well on a multi-user system. In fact, unprivileged use on multi-user systems is the main reason I t

More ›