yakshaving_jgt

6 ms·

61.
by yakshaving_jgt 7mo ago
A healthy culture where leadership is held accountable, and egregious errors in judgement are treated with the seriousness they deserve.
62.
by yakshaving_jgt 7mo ago
> `a -> a`; `[a] -> [a]`; It means nothing! It tells you nothing ! — Rich Hickey, Effective Programs [0] [0]: https://www.youtube.com/watch?v=2V1FtfBDsLU&t=4020s --- A disastrously poor take. I used to work a
63.
by yakshaving_jgt 7mo ago
I wonder if the PM responsible for this will be held accountable. Who should resign? I'm guessing the answers will be predictable and disappointing.
64.
by yakshaving_jgt 7mo ago
This was obviously a terrible error of judgement. Will you be resigning over this?
65.
by yakshaving_jgt 7mo ago
You don't have to go back that far. https://en.wikipedia.org/wiki/Doping_in_Russia
66.
by yakshaving_jgt 7mo ago
> We are in fact very disposable and replaceable. Gerasimov? Is it you?
67.
by yakshaving_jgt 8mo ago
I feel broadly the same as the above, except on the apathy towards Ukraine. Ukraine is standing because they took action. Something that helps me keep my sanity and dignity is by materially supporting Ukrainian soldiers. I will never regret
68.
by yakshaving_jgt 8mo ago
> What China is doing in the South China Sea? The South China Sea. Sorry, did you mean East Vietnam Sea?
69.
by yakshaving_jgt 8mo ago
Are you able to tune the AI such that it guides towards liberalism and rejects postmodernism? The point of postmodernism is to problematise language and results in unwelcoming nannying like the example above. I suspect the AI only knows to
70.
by yakshaving_jgt 8mo ago
> Why would understanding his argument necessarily mean finding it persuasive or exhaustive? Alexis King is a woman. > that languages with rich DX around rigid typing encourage an architecture that's rigidly typed, and that rigid
71.
by yakshaving_jgt 8mo ago
I've spent the past month in the mountains in Ukraine, and it's been as low as -18ºC at times. Terrorists from russia have repeatedly knocked out power generation, and so on many days we have very little access to electricity in t
72.
by yakshaving_jgt 8mo ago
That's quite the shallow dismissal, and the bit about AI agents is a particularly weird non sequitur — King's argument is about what type systems can and cannot express. AI agents don't change the relationship between static
73.
by yakshaving_jgt 8mo ago
If that's the case, then yes I think we're talking past each other. Although it's hard to square this with the argument you've been making — if you understood King's point, I don't understand how you can be arg
74.
by yakshaving_jgt 8mo ago
> What you are saying are covered by tests, not types. You know Haskell programmers write tests, right?
75.
by yakshaving_jgt 8mo ago
You are yet another person who is misguided in exactly the way described in this article by the same author: https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-typ...
76.
by yakshaving_jgt 8mo ago
> I don't like to title drop, but I am a Staff Data Engineer I am a Chief Technology Officer[^1]. Your opinion here is common, and misguided. Here is why: https://lexi-lambda.github.io/blog/2020/01/19&
77.
by yakshaving_jgt 8mo ago
I did a lightning talk on this topic last year, with a concrete example in Yesod. https://www.youtube.com/watch?v=MkPtfPwu3DM
78.
by yakshaving_jgt 8mo ago
It's a design choice more than anything. Haskell's type safety is opt-in — the programmer has to actually choose to properly leverage the type system and design their program this way.
79.
by yakshaving_jgt 8mo ago
> Possible! But a little hyperbolic, perhaps. I think we're more likely to be talking past one another. Direct, certainly. More than would be typically expected socially. But I don't think it's hyperbolic — I think there i
80.
by yakshaving_jgt 8mo ago
Your understanding is 100% wrong. You do not understand how typing works in Haskell. You are free to work with primitives as much as you like.
81.
by yakshaving_jgt 8mo ago
Looks a little bland to me. Personally I’m very happy with the interior of my 2012 Cayenne.
82.
by yakshaving_jgt 8mo ago
Utterly ridiculous. In Haskell you can “embrace chaos” exactly as much as you desire. It’s a general purpose programming language.
83.
by yakshaving_jgt 8mo ago
> In practice, much of the article seems to be about the problems introduced by rigid typing … But that's a non-issue in the FP languages mentioned above since they tend towards the use of unstructured data Haskell doesn’t have this
84.
by yakshaving_jgt 9mo ago
I run a company that uses Nix for everything. We're running GitHub Actions. It's good. All the real logic is in Nix, and we mostly use our own runners. The rest of the UI that GitHub Actions provides is very nice. We previously us
85.
by yakshaving_jgt 9mo ago
> What is the point in changing the messaging when racism and sexism are at the root of the problem? If your position is that racism and sexism are the root of the problem — which I am not contesting — how wise do you think it was for th
86.
by yakshaving_jgt 9mo ago
Have you tried enabling Reader Mode in your browser?
87.
by yakshaving_jgt 9mo ago
> See you in the smoke & haze Aha, I recognise this as a direct translation of what I used to see DJs and club promoters writing in GBG and Sthlm — ses i dimman!
88.
by yakshaving_jgt 9mo ago
Amazing Indians.
89.
by yakshaving_jgt 9mo ago
As suspected, your claim is grossly exaggerated. You have one blog post from a decade ago (which I remember reading at the time since I met the author at a conference) which is about being denied entry as the grounds for travel were misdecl
90.
by yakshaving_jgt 9mo ago
Well you wouldn't want a thirsty terrorist, would you?

More ›