Viewing profile — Leo_Germond

Hello everyone, I'm starting a new blog where I'm trying to mix my passion and experience for safe programming in critical contexts, and my (over)use of Python, and other techs tha…

I think it's not saying that time is wasted but that it could be better spent verifying the same thing with other techniques. For example you could implement a graph type that guar…

I agree completely with the premise and the conclusion, however I would not describe types as moving errors to compilation time, but as moving effort to the earliest parts of the w…

I love that, going to reuse that one

I would say it's a tool with an optimal point that is located along the "heavy use" side. I think it is interesting to think of them as solidifying your specification. As such if y…

And yet, most IT will see it as an opportunity for locking down systems and policies, instead of the call for help shadow IT is: people want systems that are reliable, efficient, a…

"Just fire discs" well that's easier said than done, and there's probably a tons of reasons nobody uses discs. One of them is already that we have no experience building or using d…

Ah I got it to work for two movies :)

All the 847 chapters of Philodemus fan fiction of MLP (my little Plato)

The worse relationship I've had were in small companies. "Oh but we're so small we cannot afford raises" coming from the same people that are selling it millions later in the year.…

I guess it means for some "plan do check act" loop, you want to avoid doing a plan, a do, then to plan again (because you have something important to note), then do a bit etc... Th…

Wild fries or something, and a triple burger, there's a hidden menu that is double the calories.

No disrespect but judging languages on syntax is a lot like judging a book on its cover. Chosing a language is, for the experienced programmer, a choice of ecosystem, libraries, to…

I wouldn't say overplayed as much as badly played because they underestimated how much their CEO's had fortified his position. I find the situation pretty dire: we need more checks…

Ah if only it were that simple, truth is a company, especially old ones, have a value function that is in flux, and this may include revenue generation but more often than not this…

The advice about if up is not bikeshedding though, it is the exact kind of architectural choice you're saying one should decide on. Don't believe me ? Well imagine you have inputs,…

If you practice it daily, after about a week pushing that to 60 minutes shouldn't be too hard, it's not physical after all. What's important is to have a great setup so that it's s…

You should consider having it paid by your employer, even with some chargeback on your pay you would save on taxes.

6 minutes seems awfully short, I havent practiced meditation for a long time but my sessions where 20, 30 or 60 minutes long, it takes time for the mind to settle down and to benef…

If you care about visibility control and minimalistic API design, then the most basic OOP features also provide a set of simple but powerful features: encapsulation, and contextual…

That's not quite the full picture you're painting here. First of, at the moment the effort is super asymetrical: it takes way more efforts to check a paper for image duplication th…

IMO this is not the technical level that matter, it's the UX, if we leave aside the super duper AAA games, which would use Unreal, then it's about putting a whole lot of different …

Well then, the translation is not an issue

Le Nez in this context means the aromatic palette, through a metonymy. Not sure it translates well to English, since this stylistic device may be very French in its usage (another …