What I do is put the Anki widget quite front-and-center on my phone. Whenever I absentmindedly unlock my phone, the red squircle containing a positive number activates my monkey brain and I want to get it to 0.
Their presentation [1] contains a few slides with the motivation for this framework (they have existing Thrift services in C++ and Python, and want to start using Rust too) and why actors (answer: they scale better than a naive solution?). Also a slide "why a new framework" when so many already exist for Rust. (Answer: many are dead/unsupported, are too far from Erlang principles, not flexible enough, or use custom runtimes while ractor builds on Tokio.)
If you've ever used an ML descendant you'll miss sum types wherever you go. If you've ever used Erlang you'll miss the OTP actor implementation wherever you go.
Yeah I do lol. It was the big motivation since we were writing more and more rust and missed the concurrency model. Please feel free to ping me for any further questions
It's come a long way since it started and I'm thrilled I can talk about it publicly now and it's usage at Meta (some at least lol).
> [T]he coloured regions represent impact probabilities (to 1, 3, and 5 sigma). The red-orange-yellow area shows where the asteroid would reach Earth's surface if there were no atmosphere in the way.
>
> But there is an atmosphere! So we also mark in green where the asteroid will be when it is at an altitude of 100 km. This is roughly where it will begin to break up and therefore where observers could start seeing a fireball.
>
> The red line would be the asteroid's trajectory between those two points, if it were still one solid object, which it won't be.
I think the previous author is confused because if you google "Typst", you end up at https://typst.app, which seems to only advertise the web GUI and not the open-source CLI tool.
> IJ probably developed out of ii, representing a long [iː] sound [...]. In the Middle Ages, the i was written without a dot in handwriting, and the combination ıı was often confused with u. Therefore, the second i was elongated: ıȷ. Later, the dots were added, albeit not in Afrikaans, a language that has its roots in Dutch. In this language y is used instead.
> Alternatively, the letter J may have developed as a swash form of i. In other European languages it was first used for the final i in Roman numerals when there was more than one i in a row, such as iij for "three", to prevent the fraudulent addition of an extra i to change the number. In Dutch, which had a native ii, the "final i in a row elongated" rule was applied as well, leading to ij.
> Another theory is that IJ might have arisen from the lowercase y being split into two strokes in handwriting. At some time in the 15th or 16th century, this combination began to be spelled as a ligature ij. An argument against this theory is that even in handwriting which does not join letters, ij is often written as a single sign.
So indeed maybe the same as the Roman numerals. Interesting, I didn't know this. (Also interesting that no one really knows where this letter came from.)
> if everyone did that, there would be almost no more free websites
Wrong.
Let's ignore for the moment that ad-funded websites are not free but only pretend to be free (the average user pays eventually, otherwise ads would not make sense for the advertiser), non-commercial websites have existed longer than ad-funded ones. If anything, making "free" profitable invites profiteers that produce mediocre content but know how to out-SEO genuine free websites.
> So much of the internet is paid for through ads.
And the best thing for the Internet is if that part came crashing down. But even for the ad-supported part of the web, almost all of the actual content is generated by unpaid users.
You have no idea how I LONG for a return to that. I DEEPLY wish every single person would install an ad blocker. If ad supported slop went under that would leave us with just paid and passion projects, and we would be far better off for it.
reply