ErotemeObelus

7 ms·

1.
by ErotemeObelus 7y ago
Erstwhile means "former" not "potential."
2.
by ErotemeObelus 7y ago
I think it's a syntax problem. ASCII doesn't have enough bracket characters to simply & clearly represent necessary language features. So it's harder for an intelligent human to sort and categorize these aspects. Pre-gene
3.
by ErotemeObelus 7y ago
Very few historians doubt Shakespeare's identity. Wikipedia doesn't even categorize him as "people's whose existence is disputed."
4.
by ErotemeObelus 7y ago
People who say "C is the new assembly" don't understand why people moved from assembly to C. Assembly is bad because it is typeless. Because it is typeless, there is no way to check for program correctness. Rust is okay becau
5.
by ErotemeObelus 7y ago
Build all parking spaces underground and ban parking lots.
6.
by ErotemeObelus 7y ago
Pressing charges on black people to extract revenue from them is stealing.
7.
by ErotemeObelus 7y ago
It is not. A company that does not charge for use must get revenue by selling data. A company that charges for its service doesn't have to get revenue by selling data. It is "freed up" and can turn a profit through fee and sk
8.
by ErotemeObelus 7y ago
Python tries to move away from functional idioms whenever the developers realize that the idiom can be severed from the paradigm. E.g. Python's switch from filter(list, p) to [x for x in list if p]. Guido van Rossum feels that the impe
9.
by ErotemeObelus 7y ago
I want to hear more.
10.
by ErotemeObelus 7y ago
> Science is always trying to self-correct. You guys sound like the teenager whose parents (priests and theologians) are "always going on about that" wrt his drug usage. "No mom and pop. I don't have a drug problem. I
11.
by ErotemeObelus 7y ago
> What if a film came out that satirized, I don't know, science, or abortion, or same-sex marriage, or racial equality? You are wasting your time. All people of faith believe that everyone else's beliefs are based on insane del
12.
by ErotemeObelus 7y ago
Err, I meant setjmp, not memcpy. Quite the faux pas!
13.
All disk galaxies rotate 1 per billion years, regardless of size(astronomy.com)
5 points by ErotemeObelus 7y ago|0 comments
14.
by ErotemeObelus 7y ago
Computer science uses a completely different system of logic than mathematics or mathematics-inspired paradigms like functional. Fortune 500 companies aren't attracted to functional. They're attracted to the TYPE systems of many f
15.
by ErotemeObelus 7y ago
Closures are as hard to reason about as global variables are. Anywhere the function with the closed variable is called, that is the same thing as invoking a global variable, because that function could be called anywhere in the entire progr
16.
by ErotemeObelus 7y ago
Recursion is the worst way to do iteration because it requires cleverness (= harder to debug) and it's ridiculously easy to cause a stack overflow. A for-loop is not going to cause an integer overflow on a 64bit architecture. Closures
17.
by ErotemeObelus 7y ago
> Beside that, basics of category theory is far easier to grok than OOP Design patterns. I know high-school dropouts and graduates from DeVry University who understand design patterns. Category theory--even basic category theory--isn&#x2
18.
by ErotemeObelus 7y ago
Functional programming combines the power of abstract mathematics with the ease of understanding of abstract mathematics. Now if you'll excuse me once I complete my Ph.D. dissertation I might be able to finish my text editor I'm p
19.
by ErotemeObelus 7y ago
Look, Reflect on this: there are at least 200 factual errors on the front page comment sections of Hacker News. Do you nod along while you read it being entertained, or do you pinpoint the errors? I'm not even talking about nigling det
20.
by ErotemeObelus 7y ago
> One thing can: Me (or you from your point of view). The whole time dilation thing only happens to other things/people. I can accelerate to any velocity. You can't go faster than the speed of light in your reference frame beca
21.
by ErotemeObelus 7y ago
> Therefore, the question of where do the Born probabilities come from (an open question in QM) is shown to be inextricably linked to an understanding of the physical basis of consciousness (another big open question.) The Born probabili
22.
by ErotemeObelus 7y ago
> Anyone or anything can definitely assert something is true. No they can't because sophonts aren't voluntarists. Sophonts are intellectualists. Although judging by your advocacy of the otaku theory of biology you probably have
23.
by ErotemeObelus 7y ago
That was a strawman Peeping Tom Bertrand Russell constructed. Henri Bergson based a large portion of his work drawing the distinction between functioning on representation versus functioning on cognition. representation = passive; science i
24.
by ErotemeObelus 7y ago
The solution is to just accept that types might change during runtime. Give up the assumption that types are fixed at compilation and that the compiler can catch all errors. Computer programs exist inseparably from the operating system. The
25.
by ErotemeObelus 7y ago
Let's say we're creating an array of strings separated by newlines obtained from reading a file. Call this arr[n] where n is determined at runtime. Now let's have String index(arr:int[], i:(Fin(arr):int)), where FinInt(arr) i
26.
by ErotemeObelus 7y ago
Abstract algebra, research papers. I know I need to make up my own problems as I go along with it, but that is easier said than done.
27.
by ErotemeObelus 7y ago
Err... the problem with this is that the size of a list/array is sometimes determined at runtime. This means that if you use dependent types, you can't determine whether a program is correctly typed until you run the code.
28.
Ask HN: How can I learn to read?
4 points by ErotemeObelus 7y ago|6 comments
29.
“Never Go on Reddit” by Neil Cicierega(youtube.com)
7 points by ErotemeObelus 7y ago|1 comments
30.
by ErotemeObelus 7y ago
I'm waiting for someone to invent an egg-unboiler.

More ›