Athas

8 ms·

31.
by Athas 2y ago
The comments were quite often in French, however! Until relatively recently, the OCaml compiler would also sometimes emit error messages in French in some obscure cases.
32.
Community Portal for Automatic Differentiation(autodiff.org)
1 points by Athas 2y ago|0 comments
33.
by Athas 2y ago
What are they supposedly trying to do with Warhammer (40k)? I am aware that Amazon has the rights and are working on developing something, but apart from the Secret Level episode (which was good), has there been any details? While some of w
34.
by Athas 2y ago
This is not the case in Haskell, because let-bindings can be self-referential, while lambdas cannot (without using a fixed point combinator). Also, in most functional languages, a let-binding causes type generalisation, which is not the cas
35.
by Athas 2y ago
This looks like an invocation of a C++ CUDA kernel through an FFI. It is not running k or q directly on the GPU.
36.
by Athas 2y ago
Why not essentially treat it as a cross compilation scenario? NixOS is also source based, but I don't think such a migration would be particularly difficult. You'd use the 32-bit off_t gcc to compile a glibc with 64-bit off_t, the
37.
by Athas 2y ago
Not at all! Lynx is a quite serviceable Gopher client, and it is available in most package repositories. For Emacs users, elpher is available, and it is very comfortable to use. Far more than modern browsers, really.
38.
Comparing the Performance of OpenCL, CUDA, and Hip(futhark-lang.org)
2 points by Athas 2y ago|0 comments
39.
by Athas 2y ago
Yes, and undoing this means it's no longer UNIX as it will no longer run on that PDP-11! (Unless you can afford a bigger disk I guess.)
40.
by Athas 2y ago
The best answer is that you probably don't want to use Futhark for that - it's a specialised, rather restricted language. There are ways to encode irregular arrays, but it's not even remotely as ergonomic as in other language
41.
by Athas 2y ago
You can just use 'map' explicitly. It doesn't have to be special syntax.
42.
by Athas 2y ago
We are in a sort of similar situation, but our solution was to put a Raspberry Pi in a windowsill that runs a reverse SSH tunnel (through a server in a VPS somewhere).
43.
by Athas 2y ago
Why were BOMs ever allowed for UTF-8?
44.
by Athas 3y ago
But C is already capital C! Even .d would have been a better extension.
45.
by Athas 3y ago
I never understood the popularity of the '.C' extension for C++ files. I have my own preference (.cpp), but it's essentially arbitrary compared to most other common alternatives (.cxx, .c++). The '.C' extension is t
46.
by Athas 3y ago
The pandoc binary I have is certainly large at 206MiB (more than I expected!), but it doesn't have any weird dependencies I can see. Just GMP, ncurses, and such. All the Haskell parts are statically linked, which is probably the reas
47.
by Athas 3y ago
He mentions her by name in the first paragraph (after the cover letter): > I don’t post directly because I am in prison for killing my wife Nina in 2006. He doesn't get into whether/why he is sorry: > I am very sorry for my
48.
by Athas 3y ago
It's a tradeoff. I'm willing to accept some clumsyness in return for conceptual and technical simplicity. Others may feel different. In practice, most people who write plain text emails manage to format them pleasingly themselves
49.
by Athas 3y ago
That sounds like a bug in your phone. Perhaps you should report it to the vendor? Even my ancient Emacs mail reader can reflow plain text emails when I ask it to do so. It sometimes needs to be told on a paragraph-by-paragraph basis, bec
50.
by Athas 3y ago
It depends on your definitions and assumptions. Here 'n' is not the address, but the size of memory (or the largest possible/worst-case address). In the universe we inhabit, due to limitations on information density in a gi
51.
by Athas 3y ago
They are all viable as backend operating systems, understood as server use. I don't think it's uncontroversial to say that it what they are mainly used for, although some people also use them on desktops/laptops. I'm no
52.
by Athas 3y ago
Functional languages have a core that is well suited for parallelism, but all mainstream functional languages have various features that are unsuitable for parallel execution - particularly if you want to target limited machines like GPUs.
53.
by Athas 3y ago
Why not just use memcpy()?
54.
by Athas 3y ago
Oh definitely, there's a reason my home GPU is an AMD! The fact that driver troubles are (sort of) a thing of the past is a great win.
55.
by Athas 3y ago
For which applications are AMD GPUs more suited? Last I looked at the available chips, AMD sometimes had higher FLOPS or memory throughput (and generally lower cost), but I don't recall any qualitative advantages. In contrast, just t
56.
by Athas 3y ago
Sorry in advance for bikeshedding. This is a cool project and the name is clearly derived from js_of_ocaml, but does anyone know why js_of_ocaml ended up with such an awkward name in the first place? I am vaguely familiar with the "x
57.
by Athas 3y ago
If a linker did that, changing the layout would be an ABI-breaking change. I think this opaque struct design is most common for dynamically loaded libraries, where link time optimisation does not occur (unless dynamic linkers got a lot mor
58.
by Athas 3y ago
Why would those runtimes be particularly large? I'd expect the Win32 runtime to be large, but the others should be tiny by late 90s standards. Also, I remember that Windows didn't embed that many drivers itself, but that it had
59.
by Athas 3y ago
Linux distributions put together the products of a a huge and very loosely organised community, and I never heard it was anywhere as horrible as these (old) horror stories of Windows development. Is it perhaps the case that the (enforced)
60.
by Athas 3y ago
> I would think/guess you weren’t fully building from scratch, but from intermediate snapshots. If Linus pushed a commit, would your full build, minutes later, use it? Yes, I would frequently download e.g. new kernel release tarbal

More ›