Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Rerarom
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
91.
▲
by
Rerarom
5y ago
"Number" is not a mathematical term. "Natural number", "real number", "complex number" are. The fact that they all contain the string "number" is completely irrelevant.
92.
▲
by
Rerarom
5y ago
First read this as "dwarf star" and was really excited
93.
▲
by
Rerarom
5y ago
I generally use(d) link shorteners on messengers like Facebook just so that the link doesn't take all the conversation space and the previous lines can still be visible.
94.
▲
by
Rerarom
5y ago
This is the kind of stuff I expected to study in my CS degree
95.
▲
by
Rerarom
5y ago
> string theory for programmers This is gold, I'm gonna steal it
96.
▲
by
Rerarom
5y ago
I agree with that, but in set theory the symbol {} is used. I have nothing against it, I just think it should be emphasized more.
97.
▲
Architects believe communal living is the way of the future
(edition.cnn.com)
2 points
by
Rerarom
5y ago
|
1 comments
98.
▲
by
Rerarom
5y ago
My initial problem with parentheses wasn't the stacking of them -- that's inevitable even in elementary arithmetic -- but with the fact that x is not the same as (x), which doesn't happen in math and doesn't get emphasis
99.
▲
by
Rerarom
5y ago
> there was also dial-up on mobile/GSM Yeah, it was called CSD. HSCSD was high-speed CSD.
100.
▲
by
Rerarom
5y ago
Thanks for the answer!
101.
▲
by
Rerarom
5y ago
Please name one.
102.
▲
by
Rerarom
5y ago
I live in a 90% Christian country and everyone says "Happy Holidays" and it doesn't have anything to do with religious tolerance but rather with the fact that there are multiple Christian holidays around Christmas time.
103.
▲
by
Rerarom
5y ago
The article (and the theorem) says "there’s EITHER a group of three who all know each other, OR a group of three who have never met"
104.
▲
by
Rerarom
5y ago
https://blog.longnow.org/02013/12/31/long-now-years-five-dig...
105.
▲
by
Rerarom
5y ago
1946-7, just after his Manhattan Project work, before his work on quantum electrodynamics.
106.
▲
by
Rerarom
5y ago
"The flagship industry of the definite optimism of the 1950s was engineering. The flagship industry of the indefinite optimism of the 2010s is finance. Finance is about “making money when you have no idea how to create wealth”. While t
107.
▲
by
Rerarom
6y ago
I once asked a FP enthusiast and the answer was it makes formal reasoning about the code easier.
108.
▲
by
Rerarom
6y ago
Not the parent poster, but thanks, I had missed that.
109.
▲
by
Rerarom
6y ago
Basically they are no longer risks
110.
▲
by
Rerarom
6y ago
What do you mean by Stoll, Codd and others?
111.
▲
by
Rerarom
6y ago
Superb!
112.
▲
by
Rerarom
6y ago
I thought it plausible since a lot of people pronounce the k as a t (I used to when I was a kid) and this would just formalize it.
113.
▲
by
Rerarom
6y ago
Archived version here: https://archive.ph/Q4wlO
114.
▲
After Covid, get ready for the Great Acceleration
(spectator.co.uk)
2 points
by
Rerarom
6y ago
|
1 comments
115.
▲
by
Rerarom
6y ago
This is just set theory, not category theory.
116.
▲
by
Rerarom
6y ago
There was also this some years ago https://wittgenstein-network.gitlab.io https://arxiv.org/abs/1703.04336
117.
▲
by
Rerarom
6y ago
People say "sliced bread" for "bread sold pre-sliced".
118.
▲
HTML Centering
(kompx.com)
1 points
by
Rerarom
6y ago
|
0 comments
119.
▲
by
Rerarom
6y ago
Yeah but this would to me be an argument against chess in general, whether pre- or post-AI. Math is better, I feel like I can really contribute stuff that no one else would otherwise.
120.
▲
by
Rerarom
6y ago
"Haskell is Lisp's missing M-Expression implementation."
More ›