greydius

10 ms·

61.
by greydius 6y ago
> What role is the F-15EX supposed to cover The corporate welfare role
62.
by greydius 6y ago
I don't think this is something to be concerned about. Unless you are donating a significant amount of money, your calls, letters, emails, etc. are simply ignored.
63.
by greydius 6y ago
11 x 10
64.
by greydius 6y ago
If you've prove a finite upper bound,then you've proven the program will halt. You don't need to know what the exact number is.
65.
by greydius 7y ago
> Casting a `proper' actor as the villain in a silly movie is always a great idea. Kenneth Branagh in Wild Wild West. (Not sure if that example supports or refutes your claim.)
66.
by greydius 7y ago
Miranda is also lazy, so that can't be it.
67.
by greydius 7y ago
Would you mind elaborating on these points?
68.
by greydius 7y ago
Small correction: Join should be T (T a) -> T a
69.
by greydius 7y ago
> The dynamic types bring new capabilities above and beyond what is possible with static types. Not really. "Dynamic type" just means an object that carries around a description of its structure (or more commonly, a pointer to
70.
by greydius 7y ago
Can you explain how your first two examples mean the same thing?
71.
by greydius 8y ago
data Maybe a = Nothing | Just a
72.
by greydius 8y ago
Convolutions show up in a lot of places. Multiplying polynomials is a convolution. This provides an interesting technique to create all the partial sums of a sequence. If you have a generating function for the sequence, divide it by (1-x).
73.
by greydius 8y ago
4k per year? My masters at a US school cost 4k per class :(
74.
by greydius 8y ago
Order is not always necessary. For an example, just consider why SIMD instructions and GPUs are so powerful: they can do the same operation on a lot of data at the same time. A different example would be the async/await patten. Indepe
75.
by greydius 8y ago
I tried doing a nanodegree but quit after a month. The two main reasons: - the videos are not lectures; they're short, scripted segments. While the production is polished, I found the format irritating. I much prefer actual recorded le
76.
by greydius 8y ago
There are at least a dozen food stalls on the lower level of Union Station. Most of the food is garbage, but the sushi place is decent.
77.
by greydius 8y ago
The same strategy used by Microsoft, Mathworks, and drug dealers: Get 'em hooked and you'll have a customer for life.
78.
by greydius 8y ago
> The resulting code is cleaner, simpler, easier to maintain and more straightforward I'd love to see the day when our profession invents and adopts objective metrics for attributes such as these so we don't have to rely on opi
79.
by greydius 8y ago
From a mathematics perspective, they're a property of mappings between two categories (called functors). I think part of the confusion us simple programmers have (aside from no knowledge of category theory) is that these words are used
80.
by greydius 8y ago
#include <iostream> template<bool B, typename T> std::string doSomething(T t); template<> std::string doSomething<true>(std::string s) { return "true!"; } template&lt
81.
by greydius 8y ago
This is a valid observation; however, we also need to consider that we write orders of magnitude more software in 2018 than we did in 1968. I don't think the defect / LOC (or whatever metric you want to use) has decreased. So whil
82.
by greydius 8y ago
Today I learned: Haskell is not a "proper" functional programming language
83.
by greydius 8y ago
Where would we be without those ancient humans that decided to drink the juice of rotten fruits or eat chunky spoiled milk?
84.
by greydius 8y ago
Drones have a very real weakness: they rely on a radio signal. But that aside, the F-35 program was never really about building a fighter jet. It was designed from the beginning as a way to funnel 100s of billions of dollars into the defens
85.
by greydius 9y ago
And what will save the planet? Maybe if we all pray hard enough...
86.
by greydius 9y ago
> The Touch Bar is useless garbage I think they probably realized this and then decided to put the escape key there to justify its existence.
87.
by greydius 9y ago
> I don’t like how little time I spend solving the problems that are interesting to me. Welcome to systems programming.
88.
by greydius 9y ago
> Your ice cube was never just an ice cube in the first place That's my point. This idea that there are objects with mutable state is a myth. Even at the smallest scale, what we call elementary particles, are abstractions. There is
89.
by greydius 9y ago
> Bob at time t is still Bob at t+1 I guess we're getting more into philosophical issues now. If I leave an ice cube on my counter, at exactly what time is it no longer an ice cube.
90.
by greydius 9y ago
> The real world is mutable Only if you ignore time. It's not possible to change the state of the world at some previous instant (as far as our understanding of physics is concerned). The mutable world model is an artificial constru

More ›