Interesting, didn't know the history of the command. But that post confirms my understanding, that nix shell/develop are the new replacements for nix-shell, with nix shell for temporary package installs and nix develop for debugging and developing

Der einzige Escape Room, in dem ich je war, hatte als Teil eines Puzzles so ein ganz billiges Kombinationsvorhängeschloss. Das hab ich (fast ungewollt, ich konnte es selber kaum glauben) in 15 Sekunden geknackt. War wohl vom Betreiber nicht so geplant >.<

oh right, block quotes~

thx :3

Holy shit, wtf

>///<

Don't copilot anything longer than a function of about 15 lines. That way you can quickly see if it made mistakes. Ensure it works, move on to the next.

And only do that for boring, repetitive work. The tough challenges and critical parts you're (for now) better off solving yourself.

Krummlauf

It's for clearing buildings and trenches, anywhere the tank commander might want to shoot around corners while staying in the safety of cover

Using the Peano axioms, which are often used as the basis for arithmetic, you first define a successor function, often denoted as •' and the number 0. The natural numbers (including 0) then are defined by repeated application of the successor function (of course, you also first need to define what equality is):

0 = 0
1 := 0'
2 := 1' = 0''

etc

Addition, denoted by •+• , is then recursively defined via

a + 0 = a
a + b' = (a+b)'

which quickly gives you that 1+1=2. But that requires you to thake these axioms for granted. Mathematicians proved it with fewer assumptions, but the proof got a tad verbose

Schwätzer

Alright, fair enough. The Socratic method I know and can respect. I still wouldn't call it epistemology, but at least I know what you mean now c:

"Silence, or you'll be held in contempt of this court!"

"I have nothing but contempt for this court"

• Transformers animated series

We should be more comfortable with tits and ass, both sexualised and casual, but not every action flick needs a tacked on romance with two leads slobbering over each other two thirds through the movie

He's not the type of guy to go quietly. You'll have another Jan6 first

I'm curious, how do you use a branch of philosophy, that's concerned with the abstract theory of knowledge and the limits of human reasoning, in conversations?

it's epistemology, btw

So does nearly every country except the US. But it must be everyone else who has it flipped

ethical vegans (and not people who eat plant-based for nutritional reasons, and often get conflated with people doing it for ethics reasons) generally agree on one very simple rule:

To reduce, as much as possible, the suffering inflicted upon animals.

That's it.

Where that line is drawn of course depends on your personal circumstances. Some people require life-saving medicine that includes animal products, and are generally still considered vegan.

I'd like to see what about this confuses you and your epistomology [sic, and that word doesn't mean what you think it means]

Source on the second statement? My understanding was that nix-shell is legacy for systems without flakes and nix-command enabled, and are being replaced by nix shell/run/develop

https://youtu.be/mf3uKTdozfA

That's not how this works. That's not how any of this works. That's like saying plastic is renewable because you can recycle part of it

Nuclear is a centralised, slow and expensive technology. If we had built it up 50 years ago, we wouldn't be so dependent on coal today, that much is true. But to get away from coal now, we need investment in renewables.

The energy companies who own the coal plants often are the same that own the nuclear plants. And they're afraid that the grid becomes less centralised. I don't buy that conspiracy about coal suppressing nuclear. Nuclear isn't an economically viable technology today (and might not ever be) without huge government subsidies in perpetuity.

hell yeah, þorn and eð user in the wild!

alþough I stand by the opinion þat þe voiced-voicless distinction between þorn and eð is someþing superimposed onto English later on, as eð and þorn were used interchangeably for a time and it was more a question of time period raþer þan voicedness