grumdan

16 ms·

31.
by grumdan 7y ago
Another point is that Haskell and OCaml popularized features and styles that are making their way into mainstream languages (e.g. option types instead of null, immutability by default), and the compilers showed that they can be implemented
32.
by grumdan 7y ago
> What's the difference? Why are phones such a security nightmare? At least in terms of encryption at rest on a cold device, isn't this a solved problem? One horribly annoying decision of Android is that the encryption passphra
33.
by grumdan 7y ago
In particular, this shows that it's not that it's not been measured. It's been measured and not found to be an incorrect explanation of what's happening.
34.
by grumdan 7y ago
As in, there are a handful of large projects the languages are used for. For Haskell, Facebook's spam detection system, Sigma[1], comes to mind, along with some use by banks (Standard Chartered); then there's a bunch of smaller pl
35.
by grumdan 7y ago
This particular example can be encoded into the Haskell type system though. For example, there's a tensor library where all operations are (according to the description) checked for the correct dimensions by the type system. It seems t
36.
by grumdan 7y ago
Describing two well-engineered compilers of two relatively used languages as not impactful is quite a statement. In particular, given the good performance results they achieve, for languages that are quite far away from the normal execution
37.
by grumdan 7y ago
In a similar vein, I'd love to see some form of reward for replication studies, which are also hard to publish, since they're not novel and exciting. However, due to this focus on novelty, we got plenty of unreproducible results:
38.
by grumdan 7y ago
It does cement their power over you even further though. An individual project may not make an appreciable difference, but in aggregate, if lots of people make similar choices, it may have an impact.
39.
by grumdan 7y ago
Tree Style Tab for Firefox is incredibly helpful to me for this kind of usage: https://addons.mozilla.org/en-GB/firefox/addon/tree-style-ta...
40.
by grumdan 7y ago
Whether it's because of their business model is an important question though, because it may tell us if we this has a good chance of being genuine and whether we can expect this to last. If it's in their financial interest to prot
41.
by grumdan 7y ago
The only thing I noticed in 10 years of zsh use is that `printf "%b\n"` can be used in bash but not in zsh to unescape C-style strings: E.g. `printf "%b\n" '\"abc\"'` ==> "abc"
42.
by grumdan 7y ago
Another idea is to make companies liable for data breaches. These may be unintentional, but we have similar laws for unintentional safety problems. If I sell you a hairdryer that explodes, I will be on the hook for that, even if I didn&#x27
43.
by grumdan 7y ago
I think this is still applicable advice for embedded DSLs too, since the grammar of the DSL will be made up of the ways in which you can compose the operations you provide, whether they are parsed by the host language's parser or your
44.
by grumdan 7y ago
It seems like Google just treats fines due to antitrust lawsuits as the cost of doing business, and they're potentially making more money with such behavior than they are losing due to legal costs.
45.
by grumdan 7y ago
> Windows has better toolbar management, mouseovers & switching between apps. Also since Ubuntu moved back to Gnome, switching between Virtualbox VMs has been buggy (display driver issues no doubt) I find both Mac and Windows' w
46.
by grumdan 7y ago
Sure, there are other concerns and bash is not an ideal language, but memory safety is responsible for quite a large number of security flaws, since its lack turns bugs into code execution vulnerabilities on a regular basis. I don't re
47.
by grumdan 7y ago
> They have a track record of labeling serious bugs as non-issues, ignoring them, or just not filing them as CVEs. Serious issues keep coming up. Additionally, this is not likely to stop, since they took an init system that was (mostly)
48.
by grumdan 7y ago
> Airlines have no choice, there's a limited capacity in the world for airplane construction, several thousands of orders on the books for the 737 and 320 waiting to be filled. What can an airline do? They can cut back some orders b
49.
by grumdan 7y ago
I find static types useful for gaining that understanding. It's very helpful to clear up confusion in my head to start prototyping by writing down type definitions and functions' type signatures without implementations before star
50.
by grumdan 7y ago
> The kinds of bugs that get caught by a static type system are also caught by a good suite of automated tests, where every test is written before the production code that makes it pass. To make matters worse, one would also have to writ
51.
by grumdan 7y ago
A nicer, consistent interpretation would be to take sin^2(x) to mean sin(sin(x)) and keeping sin^{-1}(x) as an inverse.
52.
by grumdan 7y ago
> (Where is my cross-platform, OSX-Linux-Windows one-file text editor that just has smart indent and syntax highlighting for python?) I know people are gonna protest this suggestion vociferously, but Emacs ticks all these boxes (except t
53.
by grumdan 7y ago
Just to give you a flavor of the way the main Vampire author does things: Until one or two years ago, not even a binary was freely available on the vampire website, and one had to contact them by email to ask for one; source code was defini
54.
by grumdan 8y ago
It's still possible to simultaneously acknowledge the fact that we need to repeatedly convince people of space exploration being important while also disliking that this is necessary.
55.
by grumdan 8y ago
Possibly when we learn that a cat is called a cat. Without that, we may still learn to distinguish a cat from a dog, but I guess the label would be an internal one.
56.
by grumdan 8y ago
> Perhaps it doesn’t jive with some sensibilities, but it’s not their responsibility to cater to anyone’s sensibilities. Whether or not someone or some organization is successful, for some definition of success, is a very different quest
57.
by grumdan 8y ago
Well, there were documents part of the Snowden leaks that showed how some NSA agents used the agency's tools to spy on (former) romantic partners and such, and I think he said something along the lines of this kind of thing not being p
58.
by grumdan 8y ago
I would say that Scala can be called widespread and allows for such embedded DSLs.
59.
by grumdan 8y ago
I would see it the other way around: To me the real issue is that our minds have a tendency to create a lot of unnecessary stress for ourselves and make us focus on goals that are unlikely to produce any lasting happiness, like constantly s
60.
by grumdan 8y ago
Fair enough, though the separation into categories possibly helps somewhat. If someone is reading r/some-topic-they-are-interested in, it wouldn't also show them stories about, say, cops shooting unarmed civilians in the back 67 t

More ›