grumpyprole

9 ms·

61.
by grumpyprole 2y ago
You won't get much insight from a study period measured in hours. CT has actually been incredibly beneficial for computer science. Monads were first used to give denotational semantics to imperative languages. CT has also influenced Ha
62.
by grumpyprole 2y ago
There is significance coverage of OOP features, hence my Java-like comment. I would have personally left OOP out for a beginner book, it isn't really fundamental. Another advantage to using Java in the first half, could be to use Java
63.
by grumpyprole 2y ago
My apologies, that does indeed seem like a reasonable way of doing it.
64.
by grumpyprole 2y ago
My minor nit pick is that it uses mostly the Java language to implement a Java-like language. What have we gained? Surely something Python-like in C would be more rewarding, one would be gaining a level of abstraction.
65.
by grumpyprole 2y ago
Usually but not always. For example, the removal of an empty effect free infinite loop. This should be an error.
66.
by grumpyprole 2y ago
> Third party vendors are absolutely not "forced into writing unsafe kernel drivers". > And kernel mode is fundamentally required for security software like this, as far as I understand. These are conflicting points. They ca
67.
by grumpyprole 2y ago
Microsoft may be negligent in selling a product unsuitable for these applications. Windows is unsuitable precisely because it can be brought down by third party updates, such that it cannot recover without manual intervention by technical e
68.
by grumpyprole 2y ago
There no problem with this, as long as these cars and other appliances aren't plugged into the internet.
69.
by grumpyprole 2y ago
It's the true Scotsman fallacy. These Crowdstrike programmers are not true C programmers!
70.
by grumpyprole 2y ago
It's interesting to me that lay people are asking the right questions, but many in the industry, such as the parent here, seem to just accept the status quo. If you want to be part of the solution, you have to admit there is a problem.
71.
by grumpyprole 2y ago
Linux and open source also have the potential to be far more modular than Windows is. At the moment we have airport display boards running a full windows stack including anti-virus/spyware/audit etc, just to display a table ... ma
72.
by grumpyprole 2y ago
Hopefully now people might wake up to the idea that these tech monopolies are not leading to safe, secure and reliable systems. They will wonder how a third party component could cause such breakage. I expect many will be calling for regula
73.
by grumpyprole 2y ago
I think there should be a second edition of this book then :)
74.
by grumpyprole 2y ago
Yes but my point is that these problems are as hard as we want to make them. For a simple language implemented in C, maybe it's fine to never free any memory until the process quits.
75.
by grumpyprole 2y ago
It doesn't have to be a crazy amount of work, see Lisp-in-Lisp in the original SCIP book or a lambda calculus interpreter in Haskell (fits on a screen).
76.
by grumpyprole 2y ago
When Java gets pattern matching, it will become a more reasonable choice to write an interpreter in.
77.
by grumpyprole 2y ago
A type checker is only going to add limited value if you don't put the effort in yourself. If everything string-like is just a string, and if data is not parsed into types that maintain invariants, then little is being constrained and
78.
by grumpyprole 2y ago
A better way to deal with this versus dependency injection frameworks is to allow the generator to be configurable and to be honest about where the seed is coming from. The random seed is an implicit input read from the runtime environment
79.
by grumpyprole 2y ago
Absolutely it is about trade offs, sometimes bugs are just an inconvenience and time-to-market is more important. But bugs can result in lost business and even lost lives, for example UK Post Office Horizon. Horizon was built (bungled) on t
80.
by grumpyprole 2y ago
You missed out GitHub !
81.
by grumpyprole 2y ago
> the user can’t know that something over there made it so something over here can’t type check To the Swift developers: just add source positions to your type AST, in addition to the term AST, then you'll know where a type has come
82.
by grumpyprole 2y ago
I don't think the "failures" are necessarily always technical, e.g. upstart versus systemd or GNOME versus Unity. To me it looks like Red Hat has possibly too much control and influence.
83.
by grumpyprole 2y ago
The PowerToys UI is a dot net application I believe.
84.
by grumpyprole 2y ago
It looks a bit biased to be honest, nothing about Go being prone to race conditions due to the choices it has made, for example.
85.
by grumpyprole 2y ago
I had always assumed that the UK killed it's tech industry by selling it all off for short term gain. That needs regulation to prevent.
86.
by grumpyprole 2y ago
I switched to Capture One. Not as easy to use as Lightroom, but the RAW processing is actually superior. It's a one time purchase. The professionals can choose to upgrade every year, the casual users can upgrade less frequently.
87.
by grumpyprole 2y ago
By what measure? Haskell can be a huge productivity multiplier. The standard library is built upon many powerful, unifying and consistent mathematical abstractions. For example, there is almost no boilerplate to write for any traversal, map
88.
by grumpyprole 2y ago
They drove me off Lightroom, I was just a causal user. The upsell spam and ads in Adobe Reader has also driven me away from that too. I would have considered buying an upgrade for both, but the price was never right for casual home use. Now
89.
by grumpyprole 2y ago
Yes. Our imagination allows extraordinary levels of doublethink. We know there is crisis underway and yet Nvidia, Microsoft and Apple are the most valuable companies in the world.
90.
by grumpyprole 2y ago
Are they really deleting menu bars? Wow. Maybe in ten years time they'll figure out that two hamburgers is better than one; and that they'll need names like "File" and "Edit".

More ›