It do be like that sometimes.

This is a triumph. I’m making a note here, “HUGE SUCCESS”.

In recent git versions (>2.23), git restore and git restore --staged are the preferred ways to discard changes in the working tree (git checkout -- .) and staged changes (git reset --) respectively.

My point today is that, if we wish to count lines of code, we should not regard them as “lines produced” but as “lines spent”: the current conventional wisdom is so foolish as to book that count on the wrong side of the ledger.

——On the cruelty of really teaching computing science - E.W. Djikstra

Yeah, I mean platforms accessible without so many hoops to jump through.

It’s believed that Glassdoor’s business model is to charge companies for removing bad reviews. So how much value can the rating provide is questionable in the first place.

Personally, for big companies, there are always people writing their work experiences on an open platform. For small companies, it’s unlikely to find a relevant review, if any, on Glassdoor anyway. So I never bothered to use it.

If you are looking at learning CS in a more holistic manner, there’s Path to a free self-taught education in Computer Science!. It’s a list of courses, categorized by topics, which are exactly what a CS undergraduate would learn. It might feel daunting at first, but you can pick any interesting topic and dive in.

I especially recommend CS50P for beginners.

One problem with exceptions is composability.

You have to rely on good and up-to-date documentation or you have to dig into the source code to figure out what exceptions are possible. For a lot of third party dependencies (which constitute a huge part of modern software), both can be missing.

Error type is a mitigation, but you are free to e.g. panic in Rust if you think the error is unrecoverable.

A third option is to have effect types like Koka, so that all possible exceptions (or effects) can be checked at type level. A similar approach can be observed in practical (read: non-academic) languages like Zig. It remains to be seen whether this style can be adopted by the mainstream.

deleted by creator

I saw a streamer playing the demo and was looking forward to it. That being said, it’s too recent a game for a patient gamer like me! (Not really. I do buy new games :)

For true immutability, burn something like tails on a read-only CD.

Conceptually yes, but you can achieve better efficiency by putting multiple adders together with e.g. a Wallace tree.

There are more efficient ways to expand adders than simply chaining them as well.

And he died anyway

What Remains of Edith Finch, and The Unfinished Swan

Hate to be that guy, but the back of the portal gate is wrong.

Use NixOS

Zizek’s take on 300 is so good, here’s an excerpt:

it is the story a small and poor country (Greece) invaded by the army of a much larges state (Persia), at that point much more developed, and with a much more developed military technology - are the Persian elephants, giants and large fire arrows not the ancient version of high-tech arms? When the last surviving group of the Spartans and their king Leonidas are killed by the thousands of arrows, are they not in a way bombed to death by techno-soldiers operating sophisticated weapons from a safe distance, like today’s US soldiers who push the rocket buttons from the warships safely away in the Persian Gulf? Furthermore, Xerxes’s words when he attempts to convince Leonidas to accept the Persian domination, definitely do not sound as the words of a fanatic Muslim fundamentalist: he tries to seduce Leonidas into subjection by promising him peace and sensual pleasures if he rejoins the Persian global empire. All he asks from him is a formal gesture of kneeling down, of recognizing the Persian supremacy - if the Spartans do this, they will be given supreme authority over the entire Greece. Is this not the same as what President Reagan demanded from Nicaraguan Sandinista government? They should just say “Hey uncle!” to the US…

There’s a Generals Evolution mod for Red Alert 3, which super-glues Generals to RA3 and it’s pretty great.

Run all of them for extra brightness.

In general, given a Turing machine which outputs the result of a procedure to its memory tape, you can equivalently construct a recognizer of valid input/output pairs. Say P is the procedure, then the recognizer R is let (i, o) = input in P(i) = o

The reverse is also possible. Give a recognizer R, you can construct a procedure P that given part of the input (can be empty), computes the rest of the input that makes R accept the whole. It can be defined as for o in all-strings, if R(i, o) then output o and halt, else continue.

It might feel contrived at first, but both views can be useful depending on the situation. You’ll get used to it soon with some exercises.