From reading the linked paper[0], It explains closed interval only. "An interval union is a set of closed and disjoint intervals where the bounds of the extreme interval can be ±∞".
Thanks for making this, fun game, but the contrast is too low for my old eyes. I can't see the orbit most of the time. Maybe add options to make the orbit more visible?
From 350gb compressed to 12kb is pretty impressive. What makes that particular strong solution needs so much space? It's from one of the paper mentioned right?
I remember watching video that contains certain word in the title. A minecraft contraption from a small channel (4 videos, 93 subs). I searched that word in the title. But youtube can't find it. Fortunately, I saved the world download that listed in the video with the name of the channel. So I searched the channel name + the word, it still can't find it.
So I searched only the channel name instead, in the search page. It works, and checking their videos, youtube mark one of them as watched. With the exact same title I searched. But it didn't show me in the history search. WTF youtube.
Youtube search is also weird in that it has a hard time finding something directly but will find it and put it it in the suggested videos feed after you have given up. 4 or 5 videos later. (shrugs) hell if I know.
But really, if I ever see a really good video I will download it. I try not to be too much of a digital horder, so it has to be really good. But their search has failed me enough times that it is worth it.
Perhaps this is due to Youtube's alternate titles or A/B/C testing scheme feature?
YT videos have a canonical title, but can have other one assigned randomly (as well as alternate thumbnails). If you're in the B group you might have gotten the B title, but search might only look through canonical titles?
I don't know why you just handpicked the covid trutherism without quoting the full thing, here the full quote from the link above:
> Additionally, in recent years it has become increasingly clear that Jon’s beliefs/priorities and mine are not aligned. He’s adversarial to people talking about privilege and representation, is dismissive of diversity efforts, has dabbled in covid trutherism, and is pro-MAGA.
Here the post after just for a full picture
> I believe Trump is a self serving authoritarian who's dismantling democracy, trying to make trans people illegal, and wanting to set up concentration camps for immigrants - whereas Jon in February called him "the best President we have had in my entire life".
I left a link to the exact post I'm referring to with the whole thread available for context.
And I didn't include the whole thing, because it doesn't change my point which is that IMO BSky people are insufferable. A game is released (which in part includes their work if I understand it right) and they can't help themselves and make this about Trump.
I'm sure I'd have the same opinion if I saw what's happening in Truth Social. These echo chambers are not good.
I think when politics are normal, this is a fine position…. Don’t really care if the author is no new taxes vs expanding safety net.
But, politics have become much more extreme. Imagine your wife or friends parents being deported. It’s absolutely sensical to not support people that are loud about hurting your loved ones.
I occasionally play Rust but I've never written a line of Rust, so almost everyday I do a double-take when reading HN. So its pretty amusing to see HN be the one getting mixed up for a change.
As someone who both plays the game and used the language at work, and used to do cheat development, I always wonder if I can write a Rust cheat in Rust.
I beg to disagree with you. I'm newbie and I still found that zig standard library still daunting to read. When people said it's very accessible, I'm curious what people mean by that? What makes it very accessible?
I am also a zig newbie. Since zig is a relatively simple language, I've found it easy enough to read and understand what is going on in the zig standard library, even if I don't understand the particular details of some language syntax. Of course experience and background is going to play in here.
The zig standard library does the following to help me:
- Logical, straightforward code, no magic incantations
I can't put my finger on it. I love ruby, but often times digging deeper into Ruby source code, I would hit a point where I would think, "oh God, I give up, this is magic". Comparing it to elixir, my daily driver, is like night and day. Usually I can figure out what is happening (there are a few places, like Phoenix Routes and Ecto Query Builders where I have gotten stimied). Zig is even better - especially at the stdlib level
Even noobs can love languages. I'm a noob at compilers and I routinely beat my head against implementation. I do this, not because I will succeed, but because I enjoy the challenge.
[0]: https://www.ime.usp.br/~montanhe/unions.pdf
reply