"Check it out, a licence plate" still rings in my head. It's a random sentence at the very end of the demo. 10-ish me must have played that first short level dozens of times. But as you said, the framerate was ok, and the final game being much more open and effectful it lagged my computer to death. Good times.
There are a couple of communities that have almost no phone presence. Certain kinds of music festivals are an example, and it's really quite nice not having to worry about being filmed.
The idea is so good it’s as close to platonic as it gets. The user experience of writing your own nix expressions is so bad that it makes me angry every time I try. Not only that, but at some point the beginner help (!) meta became »use flakes, don’t do what the existing tutorials tell you, yes flakes are unstable beta and there are no tutorials but use it I beg you«. No, please, let me choose my own way to learn!
I haven’t given it a shot in the LLM age yet though, and trying out NixOS in a VM is not only easy, it is practical – in the sense that when you’re happy, you can simply boot that same config/OS anywhere else by just installing that config. And I’ll never forget that one time where I completely borked my everything in the VM, did a kernel rollback with like 3 command line args and a reboot, and the OS was, well, rolled back. As I said, almost platonic.
What I can recommend is using nix-the-package-manager. Whenever I need the newest version of something, `nix-env -i <whatever>` and it’s there and works. If it doesn’t, roll back. If I need a different version, that’s on nixpkgs as well, with the same negligible amount of friction.
I used to use WikiTok [1] on my phone at times, but now they’ve introduced »words appear word by word« on the mobile version. Baffles me, why one would hide and gradually reveal any sort of content. It’s nauseating!
Bezier curve are just nested lerps! A bezier curve of degree 1 is lerp, what we usually call "bezier curve" is of degree 3.
It's a mathematical property that bezier curves (degree n) can be split exactly into two bezier curves (degree n), which is known as deCasteljau's algorithm:
That page also features some pretty animations on the "lerpy" part - Bezier curves are really simple, it's just that for some reason they are often presented with lots of math jargon that's completely over the top.
This is also used to efficiently draw bezier curves: subdivide them until they're visually straight lines, then plot those.
In my recent experience, a new culture of "I switched to Linux and it's fine" is establishing itself. It's on HN, sometimes on YouTube, sometimes my friends are unhappy with ads in their OS. It takes a very good reason to switch OS (most workflows break, after all), and I think the reasons are piling up into mainstream unhappiness.
You can configure a window resize hotkey. I use Win+(drag the window with right mouse) and it resizes it i the way you expect, moving the corner closest to the cursor. Left click would move the window instead of resizing.
This is by far my favorite way to resize and I don't know why it's not an industry standard.
Flameshot (a screenshot tool) in its newer versions (!!) uses random noise for pixelation, and colors it based on the un-noised surroundings so it blends in reasonably.
It's a nice mix if optically unobtrusive, algorithmically secure, and pleasant to look at.
Noether is one of my heroes. Rising through the ranks to one of the greatest minds we've known, recognized in spite of being a woman in a time where that was unthinkable in science, all odds against her. And yet here she is, the name of one of the most basic, and most beautiful, concepts in physics. The inventor of abstract algebra too (which I hear is as significant, it's just not my domain).
So many great minds have had to fight an uphill battle, but few had it as steep and even fewer were as successful as her doing so.
It really is a shame that she's not as recognized as the Bohrs and Feynmans and Paulis and so on, but at least everyone with a passing interest in theoretical physics ought to know about her.
To expand on Firefox mobile: if you haven’t tried it, give it a shot. uBlock Origin works just like on desktop. I have seen maybe five ads on my phone browser (including Youtube!) since buying it in 2019.
One of the reasons I stopped doing photography was that I realized I’m locked to using Lightroom where all my previous pictures are, and without a subscription it’s such a hassle to gain access to them again. I miss the days when I just bought Lightroom and that was it. :-(
I love that in the end, everything still comes down to using bash (and env vars), because for all its footguns and strings, it's still the most reasonable choice when giving up on the zoo of newer formats. I expect it to outlive us all, like our unergonomic keyboards, and having to deal with null values.
TAPL, I meant TAPL (Types and Programming languages by Pierce)! This would not have happened with a well-typed comment section. I mixed up OP's book (which is nice as well!) and the abbreviation. Sorry!
TTOP is the standard work on the topic. Some parts I would say fell out of fashion (using Miranda for example), but many parts are either timeless or still just as relevant.
That said, the book is very dense; for me it was just too much the first time I tried to read it. After circling back to it after a while it gets much easier, because you know what parts you really need (which is a common pattern for me at least with everything academic).