Vladislav Zavialov

@scheminglunatic A blood-black terminal began to scroll. A system of nodes interlinked within nodes interlinked within nodes interlinked within one AST. And dreadfully distinct against the dark, a long typechecking trace was displayed.

I'm so specialized that I had to invent a new word to describe what I do in Icelandic. I might be the only Icelander doing "forritaskáldun" (e. program synthesis)!

from a very young age i knew that everyone was wrong and i was right

@tritlo Conveniently, cigarettes shave off enough of your lifespan so that you won’t need that $8mil.

Ran the simulation for grandpa smoking a pack a day totals to ~$275k! A lot. But that’s not the full story investing the same amount, every month for 75 years: ~$8.3 million bad habits are insanely expensive, especially with compound interest

Most people would say Windows, but, the one with less impact is macOS. Deleting Linux or Windows out of the sudden could be catastrophic, but we can survive without macOS. So, obviously, I delete Windows.

Shaming people for asking questions? Tsk, tsk.

"You'll own nothing and be happy" is what a garbage-collected language feels like after using Rust's ownership system.

@helscom ❌ confirmation bias ✅ bias confirmation

when you withhold your ego to make a genuine attempt at uncovering some truth, and material reality confirms your biased intuition

@effectfully In what ways is Haskell hard?

Narrator: it wasn't a beautiful example of why nobody cares about Haskell. Well-Typed improved titles and thumbnails. Clickthrough rate probably went up, but you aren't retaining people who randomly clicked on a pretty thumbnail and got exposed to advanced Haskell. Instead, they lost people who would've actually watched the videos, because "AI image bad". The real reason why nobody cares about Haskell is that Haskell is hard and not easily monetizable. That's it, that's the reason. Like going to the gym consistently is hard and so most people don't do it, despite all the entirely obvious benefits. And Haskell doesn't even have any obvious benefits. No matter the packaging, non-entry-level Haskell content is never going to be popular unless Haskell expertise starts paying off at scale.

@runarorama Correct.

@int_index Wait, so in `f`, `a` and `b` are scoped to the body of the function and in `g` they are scoped to the inside of those parens?

Did you know these type signatures are not equivalent in Haskell? f :: forall a b. a -> b -> a g :: (forall a b. a -> b -> a) ScopedTypeVariables are a joke.

Ain't no party like a

"If it type checks, it works" says a Haskeller as he commits another space-leaking function to the standard library.

@EncodePanda "No More Nanometers" by Kevin Morris

@int_index Wait, what?

Just found out that the 45 nm, 32 nm, 28 nm processes, etc., are all marketing terms unrelated to actual gate length. And it's been this way since 1997.

Now do Fur Density, you'll need a log chart to see anything but Rust.

@ChShersh C++ isn't autism-coded, though – less so than OCaml, which, in turn, was a downgrade from Haskell. You're undoing all the Tylenol she took for you.

When my mother was pregnant with me, she went to a fortune teller to ask about my future. “He’ll become a C++ dev. He’ll be in a lot of pain. So you may need to buy a lot of Tylenol.” Confused, my mother asked, “For him?” The fortune teller replied, “Not exactly…”

@effectfully @onehappyfellow x.com/scheminglunati…

@onehappyfellow "well yeah"

what the proper reaction to someone telling you to your face that you deserve to die?

LLM-generated code is embarrassingly bad. I end up rewriting most of it. However, this was also the case with some developers I used to work with, so I guess LLMs are replacing some of you after all, hug?

@effectfully Management says you need to raise this to 60% for both the right and left legs.

I take 50% of my steps with my left leg. My goal is to raise this to 60% by October.

@angerman What is this obsession with Go?

Ah, that intoxicating feeling of pushing to a mutable vector.