Emile Trotignon 🇺🇦 🐫

It needs but one foe to breed a war, not two, Master Warden,' answered Éowyn. 'And those who have not swords can still die upon them.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@M0nstas Rings a bell https://t.co/wY0A9yoCNH

They were actually queuing in advance, like if it was the new harry potter book

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@PrzemekUrbanski @asparagui @DavidTurturean With lean or other proof assistants you don't need to go through the codebase and verify it, the compiler does it.

A way to understand that is that the code is the proof, compiling is verifying it. Running the code is not the proof, in some cases it just produces an example

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@PrzemekUrbanski @asparagui @DavidTurturean It's probably unmaintainable as well, but because it's a proof assistant and not a regular programming language, the code can't be wrong.

Or at least if the statement of what you're trying to prove is correct then the whole thing is correct. You just have to trust lean itself.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@metrodoku @hildagobert J'ai envoyé un email avec une solution, je le renvoie il a du se perdre

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@morganlinton @ChShersh https://t.co/Z5ZMRaOXAa is the best place

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@vinzchat J'ai demandé et le problème est que la nature du crime ne dépend pas tellement du moyen ce que l'expression "Shoah par balle" sous entend.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@vinzchat Je crois avoir entendu Annette Wieviorka dire qu'elle n'aimait pas le terme Shoah par balle, mais je ne sais plus pourquoi.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@ZeodrakeV Makes me think of the famous "cornered rat" propaganda story. Sounds like the moral of that tale is to kill the rat right away.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@redhead_ophelia So you can put it in a thick case to make sure it doesnt break

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@ZeodrakeV @cienlunard

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@TrueSlazac Indeed, but worth it in my opinion. I dont know if folkmart ships, it's the big shop on maidan where they sell cheaper ones.
An important factor is getting one thats linen. That should be possible for 60 - 70 euros, but I dont know the brand names.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@Pero05_ @Lanticapitalis1 Je ne pense pas que votre remarque soit tres juste, voici la une de leur site web :

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@8bitProdigy @ChShersh @Lptomov82 IMGUI is not OOP. Its not really functionnal either, but it works well in a functionnal setting and is related to React. I also think React is very functionnal in spirit, even if it was not implemented using "only FP".

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@oxcrowx In my opinion, once you commit code you do want every unused variable to start with `_`, but not while writing. So for a large codebase I would make unused variable an error only in CI and a warning on my machine.

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@oxcrowx In OCaml, this is a decision taken by dune. By default its a warning, but dune treats every warning as an error, which is controversial (and possible to disable).

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@United24media Why the name ? Are they ashamed of not having sent real Taurus ?

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@ZeodrakeV Je pense qu'il marche beaucoup à l'égo. Si la Russie refuse sa "solution" il pourrait se vexer et aider l'Ukraine sur un coup de tête. Si il a l'impression d’être humilié par Zelensky, il fera sûrement l'inverse. Video de rappel sur son premier mandat : https://t.co/F817jGMVN1

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@fay_carsons This does not matter in the long run, you need to bootstrap it !

[Emile Trotignon 🇺🇦 🐫 @etrotign]

@YourRandomFren @lana_s2022 C'est marrant parce que c'est les signatures des tsars qui ont l'air d'avoir été écrites a cheval.