grumdan

12 ms·

61.
by grumdan 8y ago
A standard state machine with no memory (other than the current state) is equivalent in expressivity to regexes (in fact regexes with back-references are more expressive); even if the state machine is non-deterministic.
62.
by grumdan 8y ago
I think one of the things that makes HN and Reddit very different, is that the content is not personalized and tailored to maximize user engagement. Facebook seems to constantly show me things that make me more upset or concerned or outrage
63.
by grumdan 8y ago
This complete speculation from my side, but I would think that playing video games themselves to be better (or less harmful) than just watching other players. If I had kids, I would be more likely to limit how much they can watch others pla
64.
by grumdan 8y ago
> I agree with you that compositing/window manager fragmentation is a problem. And this article is a perfect example of that. The author may think that they're happy using i3 with Firefox and st at the moment, but the desktop c
65.
by grumdan 8y ago
Is it really important how easy it is to learn a language when we are talking about formally verified operating system kernels? Beginners are probably not going to write formally verified code, let alone formally verified system code, so th
66.
by grumdan 8y ago
That's true, though at this point against a sophisticated attacker, it might be game over anyway, since they could read out the encryption key from RAM directly if it's still turned on. If the device is off, the fingerprints won&#
67.
by grumdan 8y ago
While biometric authentication is overall less secure and can be circumvented, I still think there are situations where it's preferable to the alternatives, in particular on smartphones: All Android versions I used don't support s
68.
by grumdan 8y ago
I would go further than that and say that it's also important for programmer to know different paradigms. Knowing C, Java, and Python is surely better than just knowing Java, but they're still quite similar. Ideally people would a
69.
by grumdan 8y ago
It's not a specification, but an interesting project is to formalize and prove safety guarantees of Rust: http://plv.mpi-sws.org/rustbelt/#publications In order to do this, there also needs to be an unambiguous fo
70.
by grumdan 8y ago
> In the case of Patreon, there is a man who people want to give money to. He wants to accept that money. There is no criminal activity on either side of the transaction. Yet Patreon is preventing these people from doing what they want b
71.
by grumdan 8y ago
This would still be consistent with there being genetic (or otherwise hard to change in adulthood) factors that make a person function better with a shifted sleep cycle. It's not at all clear that it's all environmental (like the
72.
by grumdan 8y ago
> Sleep cycles exist and aren’t innate. Your engrained behavior or schedule is something that sets your cycle, but is changeable. How do you know this? Not trying to be snarky, I'm just wondering if you have any evidence for this cl
73.
by grumdan 8y ago
It's important to note though that their client is not open-source, so if one goes through all that trouble to use end-to-end encryption, it seems a bit unsatisfactory to me to then trust this company to actually keep the private keys
74.
by grumdan 8y ago
To be clear though, all the mentioned languages are built on purely functional programming. Coq and Isabelle are more "procedural" in that they include special proof languages that express proofs in a step-by-step way that feels p
75.
by grumdan 8y ago
In addition to Coq that other commenters mentioned, there is also a family of proof assistants based on higher-order logic. Isabelle/HOL[1] is probably the most widely used prover in this family, which also provides a great deal of aut
76.
by grumdan 8y ago
Haskell (in the form of intero+emacs at least) also has very nice REPL integration and will automatically reload any changed modules and any modules that depend on the changed modules. The debugging facilities are nowhere near what CL/
77.
by grumdan 8y ago
Some model checkers are bounded model checkers, for example CBMC, a bounded model checker for C. In practice this sometimes means they only unroll loops a certain number of times, so they might miss assertion violations occurring in later i
78.
by grumdan 8y ago
The Mind Illuminated by John Yates (aka Culadasa) helped me a lot on how to structure my practice and how to deal with specific issues arising during meditation. I also find it quite well-written.
79.
by grumdan 8y ago
Technically true, but the quote makes it sound as if this were not necessarily the case for some kinds of exponential growth, which is clearly false.
80.
by grumdan 8y ago
Haskell is being used for their spam filtering system, Sigma: https://code.fb.com/security/fighting-spam-with-haskell/ I'm not sure what else they use it for, but they hired Simon Marlow, one of the main guys
81.
by grumdan 8y ago
> why not something used by literally any professional company Can we cool it with using "literally" to mean "figuratively"? You may have heard of Facebook or Standard Chartered for instance, unless you consider them
82.
by grumdan 8y ago
I think it's a matter of taste. I find seeing boot messages about services starting up etc. more aesthetically pleasing than some logo. It reminds me of people who buy mechanical watches where the gears are visible. Seeing the underlyi
83.
by grumdan 8y ago
While I agree that a certain base level of income is necessary to have decent life, it becomes a lot less important after that's reached. And that level for me mostly includes enough money for food, accommodation (, and healthcare if y
84.
by grumdan 8y ago
These are good reasons for why people might prefer python over other imperative languages, though basically all these points also apply to Haskell/OCaml/F#/etc., though some people would still say that a lot of things there l
85.
by grumdan 8y ago
Isn't this only disturbing if one rejects there being an objective distinction between misinformation and information? Sure, there are gray areas, but there are many actors exposing people to indisputably factually false claims, and &q
86.
by grumdan 8y ago
I would also expect people's propensity to take screenshots to be correlated to how sensitive the image is. For example, I would expect many people to take a screenshot of a nude pic their partner sent just so they can look at it for l
87.
by grumdan 8y ago
One point of the article is that nobody is trying to take HTTP away from anyone. I'm not aware of anyone removing HTTP support, just a change to the UI that communicates what guarantees you don't have for this connection.
88.
by grumdan 8y ago
I think the overall quackery and use of bizarrely flawed and insane reasoning by charlatans is reminiscent of anti-vaxxers. Additionally, I think use of HTTP over HTTPS could conceivably lead to actual harm for users unaware of the implicat
89.
by grumdan 8y ago
They are language-independent but may still have a higher incidence in one community than another. Anecdotally, these basic mistakes seem to happen more in Node packages or JS-based projects, but I have no concrete evidence for this specula
90.
by grumdan 8y ago
I agree, though I prefer the word trust; I think in the end most security arguments basically move trust around between entities, so I would either trust the open-source community or Apple. In this case I decided trust the open-source commu

More ›