Skeime

11 ms·

91.
by Skeime 3y ago
That’s a big if!
92.
by Skeime 3y ago
I don’t think you can know that. He might be on campus on Tuesdays, work at home Mondays, Wednesdays, Thursdays and Fridays, and enjoy a work-free weekend. (Though he’s an academic, so “his work is his life” is not unlikely.)
93.
by Skeime 3y ago
I strongly disagree that the bold symbols are better, even though they’re what blackboard bold was originally conceived to approximate. The reason: Bold font draws attention (ask a typographer about type color), but usually, the bolder symb
94.
by Skeime 3y ago
Except that NoAnswer has none of the language’s (and it’s library’s) support for the built-in None. And you might run into problems when trying nest the data structure, which might be a reasonable thing for your users to do.
95.
by Skeime 3y ago
I often run into the opposite problem: There are union types, but I would really like sum types (i.e. tagged unions). The common case is a data structure where I cannot guarantee that the user will not want to use Null as a value in my data
96.
by Skeime 3y ago
I think any type of parsing benefits from some happy-path/unhappy-path support in the language, because parsing essentially is about figuring out whether your input conforms to some format and then translating it into a more useful rep
97.
by Skeime 3y ago
I also don’t buy the argument that it’s faster: Ctrl-k, Shift-f, Shift-a is still six keypresses, and they’re more awkward than just typing forall.
98.
by Skeime 3y ago
Sure: And the best way we have found (maybe just so far?) has been to introduce more symbolism. But even today, all guides on good mathematical writing urge you not to go overboard with them; a well-written mathematical text is a reasonable
99.
by Skeime 3y ago
I think the point is that only developers on Macs need to ignore them. If they properly do so, these files will never appear on other developer’s machines, and they therefore don’t need them in .gitignore.
100.
by Skeime 3y ago
Yeah, TextMate was great. I think it was the very intuitive way in which you could quickly extend it. Find yourself typing this thing over and over? Just create a snippet, the interface is just very few clicks away. Need a bit more power? T
101.
by Skeime 3y ago
I think this happens because generally, autocorrect will do its thing after pressing space, or some other type of white space. At the end of a message, we usually press enter, which then serves both as the autocorrect trigger and the send t
102.
by Skeime 3y ago
I agree that it’s much more polished. However, because you can constantly just get into the skies and glide over everything, you (or, at least, I) don’t get as much of a “feeling” for the world as in BotW. I still remember several situation
103.
by Skeime 3y ago
It’s even worse as you cannot even update a record if it has a qualified name. { Module.record | field = value } is not allowed. So either, you need to import record unqualified, or you need a let construction. I somewhat get the
104.
by Skeime 3y ago
Which Apple thing are you referring to? But yeah, the (monetization) design of Nintendo’s mobile games is quite disappointing.
105.
by Skeime 3y ago
From the title, I expected this to be about someone suing over the item boxes in Mario Kart 8, which would have been, um, fun .
106.
by Skeime 3y ago
It got worse because it was also plagiarized.
107.
by Skeime 3y ago
No, I^n is also uncountable. In fact, the usual proof for the uncountability of R is really proof of the uncountability of I, and then the natural injection into R is used to extend it to R.
108.
by Skeime 3y ago
By applying the map from I^d to R^d (using the tan-arctan-construction above in each coordinate) after the map from R to R^d, you get a map from R to R^d.
109.
by Skeime 3y ago
I think you have misconceptions about what continuity means and I’m not even sure what you mean with holes. As a simpler example: The map that multiplies each rational number by -1 and keeps irrational numbers as they are is bijective (it’s
110.
by Skeime 3y ago
Because continuity is not required here. There are non-continuous bijections between R and R^2.
111.
by Skeime 3y ago
You can get from R^d to I^d (with I the open unit interval) easily by applying x -> (arctan(x) + pi/2)/pi and y -> tan(pi * y - pi/2) to each coordinate. There are also ways to go from R to the closed unit interval. You
112.
by Skeime 3y ago
Yeah, that’s right, down with teachers! /s
113.
by Skeime 4y ago
I think it’s a bit more complicated than that. The EU law will need to be implemented by national laws and at least in Germany, there is Art 10 GG (the 10th paragraph of the constitution) which protects one’s rights to private communication
114.
by Skeime 4y ago
I think even back then, the reason was a poorly configured script running in (essentially) debug mode. You could turn off detailed error messages even back then. Having debug mode be the default was certainly an interesting decision (prob
115.
by Skeime 4y ago
Well, from the linked post it seems like you’re paying $12 and you’re still the product. (There is no mention of reduced ads, for example.) (Though the truth has always been that you’re part customer, part product, of course.)
116.
by Skeime 4y ago
I don’t think the advantage is really accidental. It’s more a failure of zoning laws if every-day shopping requires a long(ish) trip.
117.
by Skeime 4y ago
At least that’s the reason I’ve heard for preferring C-style mod. Or rather, round-to-zero integer division it faster than round-to-negative-infinity integer division and arguably, you should choose / and % such that a = (a / b) *
118.
by Skeime 4y ago
But it’s faster! Don’t you prefer a solution that is correct half the time over a slow solution that is correct all the time?
119.
by Skeime 4y ago
I think you’d be constantly doing that for like two days. Then you would adapt and stop using the wrong hand. (Provided that you don’t use another keyboard simultaneously that let’s you keep going with the old habit.)
120.
by Skeime 4y ago
In my experience, that’s not entirely true. Some of my mathematician friends claim that they (and other people they know) often rather read the source code than the type-set result. I’m inclined to believe it because the biggest problem wit

More ›