grumpyprole

46 ms·

691.
by grumpyprole 5y ago
There's nothing Haskell specific about those concepts. In fact, the first three where developed by mathematicians long before Haskell even existed.
692.
by grumpyprole 5y ago
Can confirm, as a father of two kids, I get no time or energy for projects. I used to get two 30 minute train journeys pre-covid. I'm not at all unhappy with this situation, but do still occasionally wish I had done more when I was you
693.
by grumpyprole 5y ago
It sounds like the original question was just badly worded. It should have read "Show how it is possible to determine the height of a tall building using only a barometer.". The other answers, while not incorrect, do assume the
694.
by grumpyprole 5y ago
I think this is an Intel "feature". They can't upsell you faster CPU's without trading heat and noise. Glad to see Apple is following a much more sensible approach.
695.
by grumpyprole 5y ago
Yes, I like YouTube, but it was great even before Google bought it. Now it does come with privacy concerns. Luckily, there are other similar offerings.
696.
by grumpyprole 5y ago
Actually much of the "hardware advances" were engineered with public money: internet, GPS, GSM, GPRS, battery, touchscreen etc. Big tech certainly takes more than it gives back in taxes. Even worse, some are polluting the planet w
697.
by grumpyprole 5y ago
You forgot to also mention that he was the original author of the Java 5 compiler which Sun took over. He is definitely not a guy in an ivory tower, almost the exact opposite in fact. But ivory towers are not necessarily bad. It was precise
698.
by grumpyprole 5y ago
I find Scala a bit of an anomaly though, yes it was created by a university professor, but it was clearly designed for mass adoption - even down to the curly braces (although they are backtracking that decision now). I have lot of sympathy
699.
by grumpyprole 5y ago
> Laws of physics place hard limit on your speed, they don't do that for lifespan of your engine. That cannot be true. Nothing escapes the laws of physics. It obviously depends on the engine, but for example current electronics hav
700.
by grumpyprole 5y ago
> And all that was supposed to be read into. Of course not, I am however attempting to explain in detail why such sacrilegious "blame Agile" comments might be made. > If anything, that deserved even more patronizing replies.
701.
by grumpyprole 5y ago
Given your rather patronising replies, I suspect the original joke was lost on you. The issue is not Agile per se, it is organisations assuming that "Agile" will solve all their problems, where "Agile" usually means vend
702.
by grumpyprole 5y ago
It was joke. Your position looks rather like the true Scottmans fallacy to me.
703.
by grumpyprole 5y ago
The evidence you provided was for strawman arguments, something you accused me of. I'm sure Smalltalk can be easier / more "productive" than Haskell, but I never made any claims about Haskell. I'm sure many static t
704.
by grumpyprole 5y ago
> Nope, I actually have empirical (and other) evidence. You haven't provided any concrete evidence. Certainly no more than I have. > But you cited unity as evidence for FP being superior for performance than OO No, I provided it
705.
by grumpyprole 5y ago
> You are making a lot of unsubstantiated claims. As are you! 1. I did not claim unity moved to FP, I said they dropped OOP and went to a data-centric processing. Even C (with Clang) now gets transformed into SSA form (static single assi
706.
by grumpyprole 5y ago
1. FP is easier to optimise and is data-centric, which is much more useful for parallel processing. For example, game engines like Unity have been forced to move away from OOP and towards more data-centric architectures. 2. OO often feature
707.
by grumpyprole 5y ago
Is there any operating system left now that isn't riddled with bugs? I blame Agile.
708.
by grumpyprole 5y ago
You have to choose between stability and the latest/greatest. You cannot have both. Not even Apple users get both.
709.
by grumpyprole 5y ago
Well Fedora is bleeding edge, RedHat's equivalent to Windows insider builds. Try Ubuntu LTS or Debian.
710.
by grumpyprole 5y ago
I've been using i3 up until recently. I'm trying out Gnome because it works out-of-the-box and e.g. Sway does not. Yes the software churn is rather worrying. I hope they learn from the mistakes.
711.
by grumpyprole 5y ago
Lol. Although, at least for open source, by the time a hacker has an exploit prepared, someone will have rewritten the code.
712.
by grumpyprole 5y ago
This excellent Linux distribution has the honour of not needing to recommend a clean install. It deserves to be far more popular. I've run it since 2014 with so few problems, that I can't really claim to "know" Linux a
713.
by grumpyprole 5y ago
The "teeing" combinator is giving you separation of concerns. There are two separate calculations, potentially defined in separate functions, that are composed into a single operation that is performed in a single pass of the stre
714.
by grumpyprole 6y ago
Yes, but like any encoding, it has its problems. One potential issue is that you will need to formulate your transformations as strict catamorphisms (folds), e.g. you cannot match two levels deep. This has reasoning advantages, but makes it
715.
by grumpyprole 6y ago
There is a learning curve to NixOS, but it has saved me huge amounts of time over the last 6+ years. I wrote a configuration.nix file describing my ideal Linux install once and I've been using it largely unchanged for years. Upgrading
716.
by grumpyprole 7y ago
There is certainly prior art for complex games running smoothly in Haskell: https://wiki.haskell.org/Frag This particular solution used functional reactive programming, essentially a composition of signal/event process
717.
by grumpyprole 8y ago
> When developing, you don't necessarily know about your types yet. This is absolutely not true for myself and my coworkers. We think in types first . Typically we write out high-level functions with type signatures and make sure t
718.
by grumpyprole 10y ago
I'm guessing he mean't static type system. This is the formal meaning of "type" in programming language theory. What you describe is a system of runtime tags.