youerbt

10 ms·

61.
by youerbt 5y ago
I wonder if this kind of technology can push industry into more advanced languages. If a programmer can restrain the space of available programs more, it should aid the tool to give even better results.
62.
by youerbt 5y ago
Which is the best argument for WFH, really. At 3h a day + 1h commuting, it's 6h a day wasted for being in an office, crazy.
63.
by youerbt 5y ago
> Perhaps the universe is state based, and not function based... That didn't stop physics, why should it stop CS? No paradigm won, game is not over yet.
64.
by youerbt 6y ago
Yes. Records in Java are another example. But that only fuels my suspicion, that oriented part is the problem.
65.
by youerbt 6y ago
My problem with object oriented programming it's not the object part, it's the oriented part. In object oriented programming, there is, usually, no trade-off. It's objects all the way down. The problem is that not many things
66.
by youerbt 6y ago
Well in case of public policy it's rather lack of trust in public policy. And in cases like Covid public policy should be ahead of science anyway, because there is no time to wait.
67.
by youerbt 6y ago
The corporation over the programmer.
68.
by youerbt 6y ago
Agree. Programming is just too vast of a field to have universal principles. It is also changing to fast for most principles to remain relevant. We just like mental shortcuts. We ask should we use SOLID/whatever, instead of asking why
69.
by youerbt 6y ago
Yes, let's abstract the database is probably one of the most mindlessly applied rituals in an enterprise software. And if running on different databases is not a feature of your application, it is mostly harmful practice. If you can de
70.
by youerbt 6y ago
It's not clear to me what you mean by software. Software is just a tool and writing software is also just a tool, more often than not, not that interesting in itself. Solving problems using software is the goal and can be realized with
71.
by youerbt 6y ago
TLA+ is a nice tool to help with thinking. It is surprisingly approachable for a formal system, so don't hesitate to try it.
72.
by youerbt 6y ago
TLA+ is a great example of a modeling tool that allows you to create FSMs relatively easily. It can also check properties of your model which gives more confidence in the final design.
73.
by youerbt 6y ago
So before it was open sourced, all those companies that couldn't pull it off themselves had scaling problems or not? So before Python had types was it hard to scale or not? Seems like you are defending "Python with types and lots
74.
by youerbt 6y ago
Fact that they had to do that does prove the point, doesn't it? How about organizations that hit the scaling point, but are not big enough to invest into tooling like that?
75.
by youerbt 6y ago
It's also worth pointing out that working from home not equals working from home during lockdown.
76.
by youerbt 6y ago
So you went from hearing some promises to discovering gotchas in complex, decades old technology, decided to stop and then school the haskell community on topics they are very well aware of. How very modest of you, if only they could listen
77.
by youerbt 6y ago
For me, writing short prose like emails or internet comments doesn't really require vim keybindings. It mostly requires keyboard for what it was designed for - inserting text. Editing source code, on the other hand, benefits much more
78.
by youerbt 6y ago
That's how Riot installs their thing in the first place and that's how everybody can install their own thing.
79.
by youerbt 6y ago
Your though experiment involves targeted government attack. And they in theory can order any game company to install any virus on some computer during update. That's hardly an argument against this thing. What are realistic security is
80.
by youerbt 7y ago
I just wanted a jab at reddit, cuz this week I can't even browse it because "this community is available in the app" (after years of marke... mental abuse of asking me to use an app). Nothing against the guy, he used "we
81.
by youerbt 7y ago
Then you did the same for your mobile users, degrading their experience until they use an app or leave.
82.
by youerbt 7y ago
But I believe this is also with the spirit of the article. Your functions still assume something about input and are polymorphic over everything else in it. AFAIK this can also be done in a type safe manner in languages which support extens
83.
by youerbt 7y ago
This "be liberal in what you accept" idea, applied to modern programming, always struck me as strange. Yes, taking an unknown structure in your program is the easy part. Programming against an unknown structure is where the proble
84.
by youerbt 7y ago
Ah, the classic - "we are producing REAL software over here". Always reminds me of this: https://steenschledermann.files.wordpress.com/2014/05/no-tha...
85.
by youerbt 7y ago
> Types are an intrinsic part of ergonomics. For example creating new type in Java and Rust is a whole different world. If you can't separate Java the language from the idea of static typing and type systems, you are probably not a
86.
by youerbt 7y ago
I don't think you disprove the hypothesis, though. I think you are talking about equally, if not more, important thing - ergonomics. Java is not an example of static types not bringing in benefits, it's an example of overcoming th
87.
by youerbt 7y ago
I can't help the feeling that your post is about Python vs Java rather than static vs dynamic. And I don't see how your 3 points about the velocity thing are affected by static types.. Like, come on, many points can be argued over
88.
by youerbt 7y ago
It's really a matter of what you care about to accomplish. My point is that Python objects are certain data structure and if you bother to create type for it them then you can use it in function type.
89.
by youerbt 7y ago
read :: String -> Maybe PlainPythonObject read :: String -> Maybe Json goes a long way.
90.
by youerbt 7y ago
But of course nobody is talking about universally safe strings. It's just a name to explain the concept. Point being, if my database API uses the different types than my random internet input types, compiler will force me to convert&#x

More ›