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
The first rule of the Loaf Club…
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.
Also, teenagers are poorer, so any gift would carry more weight.
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.
There’s always next time.
Doctor prescribed Zelda Minish Cap tho
IMHO the reality is more complicated than what’s described here.
Open source is sustainable (in the sense that people will continue to do it), even without the maintainers getting paid, for better or worse. This is evidenced by the history and the majority of open source projects now.
The bait-and-switch problem, which gets the maintainers paid, hurts the ecosystem in the long run, which relies heavily on the good faith.
Static websites can be beautiful and easy to use without being complex.
PG’s blog and HN can definitely use some CSS tweaks. I can’t remember how many times I clicked the wrong thing in HN.
On the other hand, it’s easy to get reader mode/custom CSS/alt frontend working for such websites, so maybe it’s alright after all.
The original “agile” is a reaction to the overly rigid planning and emphasizes worker self-management. It makes sense since the people who are closest to the work (the workers) know best how to plan and implement the work.
It immediately breaks down when a specialized management tier emerges and tries to push their own agenda, i.e. to sell themselves rather than do something meaningful.
At this point, whichever form is used doesn’t matter. The management, endowed with the power from above, will exploit the weakness of any agile-shmagile methodology to push their own agenda.
Somewhat related. Since discussions about working conditions are heavily censored in China, people have recently started to use Palworld contents as a disguise/satire/substitute for it. For example, see this game media’s video if you know Chinese. Compared to the first world “controversies” around PETA, third world people are more acutely aware of the parallelism between Pals/Mons and their own conditions and thus people “just understand” the underlying problem rather than argue about what it is and what it isn’t on the surface level.
As other comments point out, they are usually not properly packaged through nix.
If you read the vim/plugins
modules, for most plugins, the derivation just downloads the plugin, puts it to nix-store
, and makes it available to the editor through environment variables. So it’s similar to the binary distributed software. Two most notable restrictions:
nix-store
model.So for plugins that don’t have external dependencies (or dependencies other than the “common” ones like python or sh that happen to be available), and that don’t interact with the filesystems, this approach would be fine, but the more complex ones would fail.
In your example, mason
failed because of 1, home-manager wasn’t aware that the pip
module is a transient dependency of this plugin; and treesitter
failed because of 2, because it doesn’t know that nix-store
is read-only and should be managed by nix
.
There are no general solutions, but people may have nixified some plugins on a case-by-case basis. If you don’t want to spend a lot of time (and remember that it might be broken by the next plugin upgrade), as others have suggested, take the traditional plugin management approach. (Personally, I use LunarVim which uses Lazy.nvim
and it’s been working fine.)
This, but unironically used as a marketing trick:
There was no v1 of Oracle Database, as co-founder Larry Ellison “knew no one would want to buy version 1”
That’s why the first Oracle database is v2.
To be good at programming, a lot of knowledge is needed, but “accidental”. From practical ones like how to use git, to conceptual ones like cache performance mental model. It’s perfectly possible that git is designed with a different CLI, or the common cache line size being 512 bytes. Mathematicians usually don’t care about these things, since they are accidental. So they are bad at writing programs that’s far away from math.
It’s a completely different story when they are writing programs about math. If the tool is good enough, i.e. allowing them to express math ideas in familiar terms, mathematicians are very good at writing math programs. As can be observed in Lean and mathlib.
The difference is that fixed capital matters little to the rate of profit, so they can spend a lot of money and it still evens out over the period of operation. The food and wage, on the other hand, affects the rate of profit a lot. So we can usually see restaurants with “fancy” decors, but with shitty food and low wages.
Why are they even on the same bus?
Request is not 3D tho.
Unless you do something special depending on the day (like going to church on Sundays), aren’t the two options the same? They are both 4 up 3 down periods.