Athas

23 ms·

211.
by Athas 6y ago
A non-Turing-complete language can still express programs that require exponential time and space, so is that really enough to provide useful guarantees? And would dynamic limits on resource usage not be sufficient, since the "cannot l
212.
by Athas 6y ago
I looked at TAP when I had to implement a testing tool for my own language. In the end, I didn't really see the point of using TAP. Is anyone using it outside Perl? What are its specific advantages compared to using common testing l
213.
by Athas 6y ago
I think there are some "features" missing from this list. I seem to recall that Hacker News will transparently remove some characters from titles (such as emoji and exclamation points), which seems like a bad feature to me, and o
214.
by Athas 6y ago
No, many dynamically typed languages do not perform implicit conversions: Lisp and Python are languages that do it better. They still have some subtleties (Lisp has the EQ/EQL distinction, not to mention a huge number of other quality
215.
by Athas 6y ago
Thanks. That may have been useful to me once, although my motivation was to get my software in the main Debian package set, which I think is quite a different thing from PPAs. Also... look at that guide. Why is it so difficult and obtuse?
216.
by Athas 6y ago
Basically what infinity0 described in his sibling comments. I want to have a source package that can be used to build the binary package in a deterministic and reproducible way.
217.
by Athas 6y ago
I think this guide glosses over the most difficult aspect: writing a package whose executables are generated reasonably reproducibly, using tools from other Debian packages. I've been a satisfied Debian user for over ten years, but I
218.
Data.Array.Log256 (Safe, Idiomatic and ⊥)(gitlab.com)
3 points by Athas 6y ago|0 comments
219.
by Athas 6y ago
Yes, this is close to what I'd also prefer to be my definition. "Systems programming" is about writing the programs that users don't care about. This involves all kinds of infrastructure: certainly the kernel, but also
220.
by Athas 6y ago
While I agree that Rust has advantages for performance-critical work, I don't think "systems" implies performance criticality. In the Unix tradition, "systems programming" seems to be a slightly blurry term for wri
221.
by Athas 6y ago
Interestingly, I feel the opposite. The inferior texture memory means that many games just used Gouraud shading (or sprites) instead, which was quite clean. At the time, I felt that N64 games looked cleaner than PS games, mostly because o
222.
Higher-Order Parallel Programming(futhark-lang.org)
6 points by Athas 6y ago|1 comments
223.
Khronos Group Releases OpenCL 3.0(khronos.org)
5 points by Athas 6y ago|0 comments
224.
by Athas 6y ago
> If the builtin scan doesn't call CUB, how fast is a prefix sum in Futhark compared to Cuda using CUB ? Last I checked, it's about 50% the performance of CUB, but a sibling post describes a current effort to implement the deco
225.
by Athas 6y ago
> For example, Futhark provides a prefix sum intrinsic, that just calls CUB - if you want to implement a prefix-sum-like algorithm, you are out of luck. Futhark doesn't call CUB (it also targets OpenCL), and here is an asymptoticall
226.
by Athas 7y ago
Yes.
227.
Performance comparison of parallel ray tracing in functional languages(github.com)
6 points by Athas 7y ago|3 comments
228.
by Athas 7y ago
Did he take it down?
229.
Smlpkg: Generic package manager for Standard ML libraries and programs(github.com)
7 points by Athas 7y ago|3 comments
230.
by Athas 7y ago
ATS has all the ergonomics of a burst reactor core, but as far as safe low-level programming is concerned, it has Rust beat.
231.
by Athas 7y ago
I'm down with the hacking aspect here, but why would I want to render comments in italics? Comments are often larger pieces of natural language, and there's a reason we don't typeset our books in all-italics - it's hard
232.
by Athas 7y ago
These machines had extremely low overhead for everything you did. If the framebuffer is just a piece of memory, and the screen is monochromatic, then a 512x342 display consists of 175104 one-bit pixels, which is just about 21KiB of memory
233.
by Athas 7y ago
> Do you refer to Erlang excelling in distributed concurrency, due to how its built to rely on the actor model? Or Erlang also excels in concurrency on a single machine? Erlang has great concurrency also on a single machine. That is sca
234.
by Athas 7y ago
While I acknowledge that Markdown's lack of extensibility is a big problem, one that RST doesn't share, RST has its own problems. For example, this is how you write a link in RST: `link text <https://news.ycomb
235.
by Athas 7y ago
Here is a worked example of how to implement radix sort using only immutable data-parallel operations: https://futhark-lang.org/examples/radix-sort.html There will of course be "impure" writes at the machine
236.
by Athas 7y ago
Concurrency is all about simultaneous effects. A language like Haskell is nice enough because it makes effects explicit, so you at least know where things can go wrong, but if you have a bunch of concurrent effectful Haskell threads runnin
237.
Futhark 0.15.1(futhark-lang.org)
74 points by Athas 7y ago|3 comments
238.
by Athas 7y ago
> The biggest difference in my language (which as of yet does not have a name) is that it is immutable, and function results are lazy. This means that it can be highly parallel, and the laziness means that there is much less synchronisat
239.
by Athas 7y ago
Yes. The PM made clear that the two weeks were for now , and might be extended, modified, or amended with further restrictions.
240.
by Athas 7y ago
Is there really such a great need to make the lowest level shader API more accessible to beginners? You can always build things on top that make a low-level API more friendly, but you can never build something below the lowest available

More ›