greydius

17 ms·

121.
by greydius 10y ago
It's an awkward sentence. The 2-dimensional surface is the boundary of the 3-dimensional surface. I think what they're saying is that they believe the 3-dimensional universe is a 'reverse-projection' from the 2-dimension
122.
by greydius 10y ago
It's common to use Γ (gamma) as well.
123.
by greydius 10y ago
> what is required today is a sufficiently deep understanding of all those procedures, and the underlying concepts they are built on This has always been the case for mathematicians. People that just learn how to do computations are call
124.
by greydius 10y ago
Correct. A bijection implies isomorphism in the category of sets. Thus an isomorphism exists. I suppose we need to convince ourselves that algorithms and abstract syntax trees do indeed form sets. (Exclude such things as "the algorithm
125.
by greydius 10y ago
> They are not two equivalent representations of the same thing. Algorithms encoded as a program end up as an abstract syntax tree in the compiler. Algorithm -> Data structure. The compiler then turns that ast into some other represen
126.
by greydius 10y ago
They exist to mess with people that copy/paste code from the internet.
127.
by greydius 10y ago
I would create a Cocktail data structure and an instance of Monad for it. sazerac = do add ice add ryeWhisky add bitters add absinthe shake strainInto glass add lemonGarnish
128.
by greydius 10y ago
There are a lot of variables that go into this decision. First of all, is this a solo project or is a group of people going to be working on it? If it's a solo project, then you are far less constrained. If it was a small proof of conc
129.
by greydius 10y ago
This is an excellent point. It makes one wonder why academic journal publishers even need to exist anymore. The peer reviewers (who don't get paid anyway) could just as easily do the same job and issue a "stamp of approval".
130.
by greydius 10y ago
They can be used to implement an immutable deque.
131.
by greydius 10y ago
I'm not anywhere near an expert with git, but I'm proficient enough to use it effectively with my normal workflow. I like git, but admittedly the bar was set really low by subversion. This article raises some valid points, though.
132.
by greydius 10y ago
I always thought it was "programming".
133.
by greydius 10y ago
Google profits off a lot of stuff I disagree with too. I don't really blame Google, though. They're just a search engine, right? The real problem is that people can say things I don't agree with on the Internet. Something nee
134.
by greydius 10y ago
Why do some people call programs "codes"? I hear this a lot from mathematicians and physicists.
135.
by greydius 10y ago
I'd buy as much property as I could in the middle of nowhere and build a cabin.
136.
by greydius 10y ago
Less competition for Oracle.
137.
by greydius 10y ago
That may be the case, but most people don't know what they are and what their original meanings are, so they might as well be foreign words.
138.
by greydius 10y ago
> The programming style demonstrated in this video is a real mind bender You might also be interested in: https://hackage.haskell.org/package/djinn Djinn writes the code for you. Cut out the middle-man. (Don't
139.
by greydius 10y ago
> we should be teaching that life is hard and you should count your lucky stars if you are able to afford anymore more than an apartment Interestingly, my father did his best to instill this lesson with his persistently defeatist and pes
140.
by greydius 10y ago
This is going to happen anyway.
141.
by greydius 10y ago
> How else can you stare at an empty screen and know that you have to blacklist your video card driver? Or sit in silence while tweaking alsamixer on the command line? Or write bash aliases to reload your network driver kernel module eac
142.
by greydius 10y ago
The modern list will start with the F-35.
143.
by greydius 10y ago
Let's assume the Russian conspiracy is bogus. The question I want answered is: were all the news stories they claim to be fake really fake?
144.
by greydius 10y ago
I agree that a comprehensive test suite is valuable, but I don't think it's safe to assume that errors like this will always be caught, no matter how good your tests are. It's not reasonable to write a test for every possible
145.
by greydius 10y ago
> Haskell developers are self-selecting This is not going to change. I love Haskell, and I appreciate the effort many are making to evangelize the language, but I am experienced (ie. cynical) enough to believe that it's never going
146.
by greydius 10y ago
Most people would agree that in functional programming we can pass functions around as first class objects. What we disagree on is the definition of function.
147.
by greydius 10y ago
Social science is complete bullshit.
148.
by greydius 10y ago
> It seemed like the best idea was to let him try and learn why that was a bad idea This is exactly why it's a good idea to try your own implementations. You get intimately familiar with the problem. You understand the trade-offs, c
149.
by greydius 10y ago
What about all the coal miners that will lose their jobs because of renewable energy?
150.
by greydius 10y ago
I'm the guy who is already happy at work and would require a (significant) raise to be less happy.

More ›