Drew DeVault tried building something similar to this under the name SearchHut, but the project was abandoned [1]. I tried hacking on it a while ago (since it's built on Postgres and a bit of Go), but I ran out of steam trying to understand the Postgres RUM extension.
I had this tool saved as a bookmark, and didn't find any existing HN discussion, so I decided to post myself.
At first glance this seems to offer similar functionality to PAR2, with the disadvantage that errors cannot be corrected, as parity data is not stored in the digest.
I am always deathly afraid of forgetting a definition/key result in an exam.
Whenever I practice, I always have my notes in front of me and I focus on puzzling through the problem at hand rather than testing my memory.
But in an exam, for me there us always the possibility of failing to recall some fact. To combat this, I record every not-completely-obvious fact into Anki and aggressively practice it in the run-up to the exam.
I have fewer personal software projects going on than I used to (in fact, almost none), and these days I think I spend a lot of the time on unimportant busywork, under the excuse that "organising myself will free me up in the future, when something interesting comes around".
However I also recently quit social media (by this I don't count IRC, HN and the Fediverse as these are mostly text-based - okay to browse in my books), quit soft drinks, quit YouTube (almost, new videos come in through my subscriptions about once a day) and started reading (albeit very slowly) after a multi-year lapse. So it's not all bad.
I agree with the sentiment that "the gaming industry has hijacked human play". The author justifies the development of his own game by the fact that "it looks like a CAD program", but I don't think that this makes the game any less immersive. Having seen a few of his dev-logs [0], I think that his goal of a 'systemic game' (if I remembered that phrase correctly) has the potential to be just as immersive.
Games with impressive graphics but no gameplay aren't known for being particularly big drains of human attention.
As another example, take the comments on the recent thread about the browser game generals.io [1]. One might say that 'it looks like a spreadsheet with conditional formatting', but it doesn't make it any less addictive, according to the commenters.
As I understand it, the value of this thesis is the design of the fuzzer, which produces sufficiently 'complex' code to exercise uncommon code paths in the compiler, while retaining desirable properties such as reducibility.
One observation I have made about sites with a list of images/videos to view is that it is sometimes easy to succumb to visiting the site only to look at 'mindless' media (memes, sexually suggestive material, etc). At least for me, this seems to be the case no matter the ranking algorithm or user interface (no infinite scroll, etc) used by the site.
I have not found Hacker News to be this way. It is both easier to stop scrolling, and I have to exert at least some mental effort to read the news links and comments.