Leo_Germond

6 ms·

1.
Counting Sheeps with Contracts in Python(colorsofcode.ghost.io)
27 points by Leo_Germond 2y ago|17 comments
2.
by Leo_Germond 2y ago
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 that are used in... less safe contexts. The "inv
3.
by Leo_Germond 2y ago
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 guarantees absence of cycles at all point. Such a type woul
4.
by Leo_Germond 2y ago
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 workflow: more time spent on writing code, more time spent on
5.
by Leo_Germond 2y ago
I love that, going to reuse that one
6.
by Leo_Germond 2y ago
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 your spec is still changing or it is unclear (
7.
by Leo_Germond 3y ago
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, and adaptable to rapidly changing business needs. Providing t
8.
by Leo_Germond 3y ago
"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 disc-shaped bullets, especially compared
9.
by Leo_Germond 3y ago
Ah I got it to work for two movies :)
10.
by Leo_Germond 3y ago
All the 847 chapters of Philodemus fan fiction of MLP (my little Plato)
11.
by Leo_Germond 3y ago
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.
12.
by Leo_Germond 3y ago
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... This kind of back and forth were you subvert the pri
13.
by Leo_Germond 3y ago
Wild fries or something, and a triple burger, there's a hidden menu that is double the calories.
14.
by Leo_Germond 3y ago
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, tools, architecture, and also a matter of long term maintenanc
15.
by Leo_Germond 3y ago
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 and watchmen on billionaire tech entrepreneurs, n
16.
by Leo_Germond 3y ago
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 is completed or replaced by replaced by some variation of p
17.
by Leo_Germond 3y ago
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, where should you validate them ? According to thi
18.
by Leo_Germond 3y ago
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 super comfy for you to stay a long time w
19.
by Leo_Germond 3y ago
You should consider having it paid by your employer, even with some chargeback on your pay you would save on taxes.
20.
by Leo_Germond 3y ago
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 benefit fully from flowing consciousness. Anything less would fee
21.
by Leo_Germond 3y ago
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 info on overload resolution (A.foo() is the foo() from A&#x
22.
by Leo_Germond 3y ago
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 than it takes to alter an existing image to add it t
23.
by Leo_Germond 3y ago
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 assets together, and hold them with code glue. Uni
24.
by Leo_Germond 3y ago
Well then, the translation is not an issue
25.
by Leo_Germond 3y ago
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 example would be Musée Rodin's exhibition Rodin, la ma
26.
by Leo_Germond 3y ago
I think what the poster above is going for is that the level of safety (as total number of saved human lives) resulting from turning a (napkin or otherwise) calculation into a definitive technological choice is probably suboptimal. Typicall
27.
by Leo_Germond 3y ago
Yes that's not even worth one single low wage employee salary, also this 20k figure is extrapolated from X's public prices, so it's not even very reliable as an estimate. It could be that tesla has entered some contract with
28.
by Leo_Germond 3y ago
IKEA crap can last decades but not all of it. As an example I have used an IKEA desk for 6 months, and it showed real ageing by the end of it. And I was not eating at that desk, or sawing stuff, but some of the heat from the computer and ma
29.
by Leo_Germond 3y ago
I can't believe nobody created a lego-sorting-l machine out of lego yet
30.
by Leo_Germond 3y ago
Which is why we've banned spicy food: it's just too risky to be used safely.

More ›