Athas

10 ms·

91.
by Athas 4y ago
Yes, Rust as a language wasn't originally intended for much of what it's used for now. Many of the applications written in Rust would probably be fine without the borrow checker, and instead paying a performance overhead to have
92.
by Athas 4y ago
As a language, I think it was always good. Haskell is my main working language, so I tend to mostly see the warts, but whenever I have to use another language I end up feeling very constricted. Haskell does have some very real warts, bu
93.
by Athas 4y ago
I need to use printf to interpret the escape character: while true; do printf " $(date)\r"; sleep 1; done
94.
by Athas 4y ago
> I'm not convinced it's "serious" --- thread-local-storage easily solves that. What about other cases of exceptional control flow? What happens if a signal arrives while that static area is being used, and the signa
95.
by Athas 4y ago
Well, this sounds like it was before ANSI C, so there was no defined notion of undefined behaviour - I think that term of art came with the later standardisations. And if it was written to run on a specific OS or compiler (4BSD), one can a
96.
by Athas 4y ago
How so? References are not polymorphic in SML (that's what the value restriction ensures).
97.
by Athas 4y ago
This part (which is tangential to the real thesis of the paper) is interesting: > Advocates of strong type checking in compiled languages have attempted for years to build compilers capable of proving the type correctness of programs. We
98.
by Athas 4y ago
It's always surprised me that game mods tend to be developed behind closed doors. Why don't they follow common open source development processes? Is there a cultural or perhaps technical reason why open development doesn't
99.
by Athas 4y ago
> It at least doesn't lock anything up that has a file open when the network goes down. I must admit I feel quite a bit of irrational fury when this happens (similarly, when DNS lookups hang). That some other computer is down shoul
100.
AMD ROCm: A Wasted Opportunity(threedots.ovh)
2 points by Athas 4y ago|0 comments
101.
by Athas 4y ago
Unless some abstraction layers have been added while I wasn't looking, Wayland doesn't have a notion of window manager - only of compositors. These compositors incidentally also manage windows (although that's not the Waylan
102.
by Athas 4y ago
Some people appreciate simplicity as a virtue - simplicity of implementation as well. To such people, using a third party library to conceal an incredibly complicated implementation is still in principle ugly. I don't know if that is
103.
by Athas 4y ago
But then it might easily become unclear exactly which subset of SVG is supported. I am personally leery of implementing subsets of other formats. I find it better to define entirely new formats, at least for simple things like this. To r
104.
by Athas 4y ago
SVG is very complex. This format is very simple because it is not supposed to solve a very complex problem. That makes it easier to write other viewers and editors.
105.
by Athas 4y ago
Joining the eglot choir. It behaves like I expect Emacs modes to behave and hooks into other Emacs functionality (xref, eldoc). Actually, it behaves better than that: it often works with zero configuration, which is much better than I exp
106.
by Athas 4y ago
Yes of course, just like on more or less any Linux system. But IIRC, shutdown is a suid binary that will do its own permission checks while running. The permissions on the /sbin/ directory should not matter.
107.
by Athas 4y ago
> As a sysadmin, I would not want my /bin /sbin exposed to everyone. Why not? It's not like most of them are suid (right?). Most Unix systems I've used allow any user to peruse /sbin at their leisure and run w
108.
by Athas 4y ago
> /sbin, /usr/sbin is for binaries that need root. You put them in separate directories so their permissions all match up, and so they don't show up when completing in bash. I also got this explanation, but it never m
109.
by Athas 4y ago
Yes, but the next iteration will take care of those interactions. You're not really "moving" anything; that was poor imagery on my part. The illustration on the Wikipedia article shows it well: https://en.wikiped
110.
by Athas 4y ago
If you want more performance, falling sand simulators can further be made parallel by implementing them using Margolus Neighbourhoods, as in Falling Turnip: https://github.com/tranma/falling-turnip The idea is that a s
111.
by Athas 4y ago
Still, I would expect the overhead to be moderate, not a killer.
112.
by Athas 4y ago
> Note that I benchmarked with --check-bounds=no, which is a startup option that you pass to Julia, when launching, that disables the performance killer “bounds checking”. Why is bounds checking a performance killer?
113.
by Athas 4y ago
> Haskell's primary solution to this is to burn it all to the ground. Mutation doesn't cause any type problems because there isn't any. This is true, but I think it is also misleading. Haskell has the same problem if you
114.
by Athas 4y ago
Sure, but e.g. the documentation problems with Nix don't prevent you from working with it. While the problems make it less smooth and productive than it otherwise might have been, it might already be better than legacy systems for you
115.
by Athas 4y ago
> And I don't mean a lack of documentation — what I mean is that the obvious decisions that have been taken (naming everything "Nix", using Haskell as a base for the syntax, ...) I agree that the name is bad and has always
116.
by Athas 4y ago
I feel differently: when proponents of a thing are open about its flaws, and those flaws are not in the fundamental ideas or principles of that thing, then it makes me more convinced that perhaps the thing does have merit. (Although I can
117.
by Athas 4y ago
This is the historic origin of the name, but I'm not sure it's still supposed to be an acronym. Modern ML may just be named with two arbitrary letters, as often happens when things named by acronyms grow beyond their original dom
118.
by Athas 4y ago
I feel the same way. But beyond these concerns, I must admit I also feel a sense of sadness due to the inevitable rise of application-specific hardware. When I hear about these super-fast specialised chips, all I can think about is whethe
119.
Futhark is a low level language(futhark-lang.org)
2 points by Athas 5y ago|0 comments
120.
by Athas 5y ago
It doesn't affect your right to do anything with the software. It doesn't even affect your right to remove this citation notice (and some distributions do so). Free software is not about software not being annoying; merely about

More ›