yakubin

9 ms·

61.
by yakubin 3y ago
He supports Hamas and Hezbollah: < https://twitter.com/CraigMurrayOrg/status/171333500612114051... >.
62.
by yakubin 3y ago
The terseness is useful not just for writing, but also for reading. In maths, the shape of a formula is often more important than what each symbol in a formula “means”. The terse notation allows you to quickly grasp the shape and draw paral
63.
by yakubin 3y ago
/proc appeared in late versions of original Unix. That’s where BSDs inherited it from before ripping it out.
64.
by yakubin 3y ago
By default, FreeBSD, just like OpenBSD, doesn’t have a /proc. I’m actually running a server without it.
65.
by yakubin 3y ago
The post says that all of December operating profits are donated. I don’t think such an amount could go unnoticed in a public company.
66.
by yakubin 3y ago
> If smaller companies like Tarsnap can do it, then what stops others? Shareholders. Tarsnap enjoys the benefits of being a privately-owned company.
67.
by yakubin 3y ago
Fair enough.
68.
by yakubin 3y ago
But there’s too few of us. The elderly are always going to outvote us.
69.
by yakubin 3y ago
The statement OP put in parentheses is a well-defined statement in mathematics. It means that the Lebesgue measure of the set of the rational numbers is zero in the space of real numbers.
70.
by yakubin 3y ago
Second is not bound to the rotation of the Earth. It’s bound to the speed of light (indirectly).
71.
by yakubin 3y ago
> A metric minute is broken into 100 seconds. > A standard minute has 60 seconds. There are 2.4 standard minutes in 1 metric minute. Surely it should be 1.(6). I hope they didn’t change the definition of a second. It’s an SI unit.
72.
by yakubin 3y ago
They weren’t taking it with the intention of creating Israel. They had more selfish reasons. It’s just that after WWI the British Empire was disintegrating, its resources were spread thin, and they had no interest in keeping the mandate, bu
73.
by yakubin 3y ago
Comparing a major world power taking more land for itself by force and a bunch of refugees creating a new little country for themselves by buying the land is dishonest. Further suggesting that someone seeing something wrong with this compar
74.
by yakubin 3y ago
There wasn’t. Previously there was the British mandate. Prior to that there was the Ottoman Empire. That’s centuries before the UN even existed. You might as well be talking about a state of Apaches at this point. Or better you might just l
75.
by yakubin 3y ago
All I find in those links is that the Arabs may have complaints about the conduct of the British, since it's the British that didn't keep their promises. However, those promises weren't made by the Jews who bought the land (a
76.
by yakubin 3y ago
"They" didn't. The ones coming from all over the world legally bought the land from previous owners, both British and Arab. Prior to that there was no such thing as a state of Palestine[1] there. It was much later that UN dec
77.
by yakubin 3y ago
I'd love to have a pet too, but I don't have the conditions for that (including financial conditions), so I don't. Even though I'd love to. But having a pet is responsibility, which includes financial responsibility. So
78.
by yakubin 3y ago
> Doesn't even need the `inline` keyword for this at `-O2` Not surprising, since inline has nothing to do with inlining. :)
79.
by yakubin 3y ago
In C++ I do it Google style: static constexpr int kConstantName = 42;
80.
by yakubin 3y ago
Many C codebases predate that. And Visual Studio for a long time didn’t support anything newer than C89.
81.
by yakubin 3y ago
Then you're clearly not using head. For this you can use listToMaybe. Don't change the meaning of an identifier to something meant for a completely different use. The alternative change involving dependent types or liquid types do
82.
by yakubin 3y ago
In cases when head is used though, you clearly just want to unpack the first element of a list. So if you replace head with a function that returns a Maybe, all you’re going to do is pattern match on its result to check if it’s a Just. So I
83.
by yakubin 3y ago
It’s enabled by default in Caddy.
84.
by yakubin 3y ago
Maybe your computer ignores the DNS resolver address suggested by your router? You can check with dig what resolver you’re using, if you’re on a Unix-like system.
85.
by yakubin 3y ago
I used to use OpenDNS, but then out of nowhere they decided to enable parental control by default[1] and without an account I don’t think I could disable it. [1]: Maybe only in EU?
86.
by yakubin 3y ago
> they're disabled by default in GCC They’re disabled for gnuXX values of the -std= flag, but enabled for cXX . And for the latter you can’t disable them by any finer-grained flag.
87.
by yakubin 3y ago
If you weren’t born rich, like Newton or Darwin, you were unlikely to be able to afford to learn and do science. Forget about being able to travel to the other side of the world without a huge risk of dying of malaria, dysentery or any of t
88.
by yakubin 3y ago
The comments in that thread are really something. I think it's better for it to stay flagged. Alternatively all the green comments should go.
89.
by yakubin 3y ago
In maths though there was some fluctuation. Mathematics in Roman times saw a decline, and in medieval times a complete breakdown (at least in Europe). If we take Euclid to be the bar for a first-rate mathematician, then there were none in m
90.
by yakubin 3y ago
I love the “remove more clutter” comment. :D

More ›