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.

If you make something go 20% faster, you did something smart. If you made it go 10x faster, you stopped doing something stupid

using Megaparsec.choice instead of alternative (<|>) helps GHC compile parsers faster. If this were a paper, it would be called “Choice is better than the alternative”

@convolutedpixel I’m more in the “the despair is because your software sucks. Make it better and you will feel better” camp

Serokell’s GHC team continues sharing progress on Dependent Haskell. @int_index presents three major contributions and a host of smaller improvements that push Dependent Haskell closer to becoming a practical reality. serokell.io/blog/serokell-…

@kerckhove_ts What are they taking the square root of?

I guess it could mean minutes per meter but I have no idea yet.

If only there were a simpler way to write 16 meters per meter...

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.