thdhhghgbhy

6 ms·

31.
by thdhhghgbhy 1y ago
The new online safety rules are already being used to shut down government criticism. How it works is their new elite protection squad, if someone is deigned an influential critic of government policy, trawls through your social media posts
32.
by thdhhghgbhy 1y ago
It's different. Effect systems claim to be a 'major evolution' that 'enforce modularity'. But they don't really enforce anything other than the modularity provided by standard oop classes or if in a fp lang
33.
by thdhhghgbhy 1y ago
But you have user defined effects don't you? E.g say I define an effect ReadsFromDB, it doesn't necessarily do what it says on the tin, and there is no way a compiler can check that it does. It could read from the db, and send som
34.
by thdhhghgbhy 1y ago
Very clearly written, thank you.
35.
by thdhhghgbhy 1y ago
Very naive question, but what is the difference between this and XWayland?
36.
by thdhhghgbhy 1y ago
Can it actually take and make calls, and hold a battery charge yet?
37.
by thdhhghgbhy 1y ago
Is there not an idiomatic way to write proofs in Lean/Coq/Agda though? Idiomatic in the sense that once you learn the common idioms/tactics proofs become a degree more readable.
38.
by thdhhghgbhy 1y ago
He didn't really fully explain why he chose Lean over Coq or Agda though.
39.
by thdhhghgbhy 1y ago
>Can the compiler check that a function is pure besides its assigned side effects? The compiler can't. It is up to the programmer to make sure that a database effect doesn't, say for sake of example, write out to a file also. S
40.
by thdhhghgbhy 1y ago
Just seems to be a way of organising code really.
41.
by thdhhghgbhy 1y ago
Typical Haskell coding post with no mention of order or efficiency of the algorithm solutions. The thing is, even in basic coding quizes, if the interviewer is worth their salt, they will ask about how to improve the efficiency of the naive
42.
by thdhhghgbhy 1y ago
Great work.
43.
by thdhhghgbhy 1y ago
I did one once for Barclays for a Haskell role in London. A whole evening of work and they never even sent me a rejection email.
44.
by thdhhghgbhy 1y ago
Vite is trying now too.
45.
by thdhhghgbhy 1y ago
Unconvinced. I believe we'll go the other way, further into the theoretical aspects, in particular program verification.
46.
by thdhhghgbhy 1y ago
Seems like a clumsy version of dependency injection in Haskell to me.
47.
by thdhhghgbhy 2y ago
Discovered in 1817, but we weren't using pesticides at scale until the early mid 1900s.
48.
by thdhhghgbhy 2y ago
If Jia Tan's PR was approved, malicious artifacts could go to github releases just as easily as in a tarball. Struggling to understand the point made about github releases being a security mitigation.
49.
by thdhhghgbhy 2y ago
Don't apologise. Programming is about the process not the person.
50.
by thdhhghgbhy 2y ago
Now all AI tools have to do is spot errors made by themselves.
51.
by thdhhghgbhy 2y ago
I miss writing Ruby.
52.
by thdhhghgbhy 2y ago
The hybrid server render, then hydration step is too magical for my liking. There's a bunch going on in there that would be very difficult to debug, if some mysterious error at this stage of the app were to present itself. I prefer eit
53.
by thdhhghgbhy 2y ago
Text summarisation already frequently misses things, sometimes gets them completely backwards. Can't convince myself this will be any better.
54.
by thdhhghgbhy 2y ago
Seems wasteful to me.
55.
by thdhhghgbhy 2y ago
Haven't written C# for 8 years, but Visual Studio used to be dog slow. But that's the only criticism I can think of, love the language. I remember when ReactiveX came out, C# became close to unbeatable at that point.
56.
by thdhhghgbhy 2y ago
More like by 40. My relationship with even my best buds from school became empty or non existent after years of marriage and kids.
57.
by thdhhghgbhy 2y ago
I'm more extreme, I dislike all dark mode, including code. Shreds my eyes, no idea why. Have tried a zillion themes, just can't be one of the cool kids.
58.
by thdhhghgbhy 2y ago
Okay, might be definitional, but when I think of 'first class', I think of something baked in to the language. So in Haskell's case, in the Prelude I suppose.
59.
by thdhhghgbhy 2y ago
Thanks, I've followed along with a lot of your posting on the Haskell discourse. One thing regarding this matter: >well, you point out the analysis of its flaws from the effectful documentation. That's correct. Thinking deeper
60.
by thdhhghgbhy 2y ago
Basically StateT uses Either to model either the application state or an error. So if your application throws, you lose the current state forever. They sort of painted themselves into a corner with this choice of type, there's no real

More ›