Vladislav Zavialov

2.7K posts

Vladislav Zavialov banner
Vladislav Zavialov

Vladislav Zavialov

@int_index

Haskell programmer since 2012; GHC contributor since 2018.

Katılım Nisan 2012
263 Takip Edilen2.1K Takipçiler
Sabitlenmiş Tweet
Vladislav Zavialov
Vladislav Zavialov@int_index·
@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.
English
1
2
14
2.1K
Vladislav Zavialov retweetledi
Matti Palli 🧙‍♂️
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)!
Mölndal, Sverige 🇸🇪 English
3
6
46
1.8K
Vladislav Zavialov retweetledi
hera
hera@shiningdaisies·
from a very young age i knew that everyone was wrong and i was right
English
141
24.7K
126.5K
2.4M
Vladislav Zavialov
Vladislav Zavialov@int_index·
@tritlo Conveniently, cigarettes shave off enough of your lifespan so that you won’t need that $8mil.
English
0
0
2
75
Matti Palli 🧙‍♂️
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
English
2
0
6
903
Vladislav Zavialov retweetledi
Zuhaitz
Zuhaitz@zuhaitz_dev·
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.
Nalin@nalinrajput23

delete one forever

English
141
1.1K
15.8K
424.9K
Vladislav Zavialov
Vladislav Zavialov@int_index·
"You'll own nothing and be happy" is what a garbage-collected language feels like after using Rust's ownership system.
English
0
0
8
516
Helscom
Helscom@helscom·
when you withhold your ego to make a genuine attempt at uncovering some truth, and material reality confirms your biased intuition
Helscom tweet media
English
4
2
29
542
effectfully
effectfully@effectfully·
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.
effectfully tweet media
Theo - t3.gg@theo

This is actually a beautiful example of why nobody cares about Haskell The packaging for those videos is some of the worst I’ve ever seen. If you expect people to randomly click on those, you don’t know anything about how humans work.

English
12
2
142
25.5K
Rúnar
Rúnar@runarorama·
@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?
English
1
0
2
162
Vladislav Zavialov
Vladislav Zavialov@int_index·
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.
English
2
0
4
507
Vladislav Zavialov retweetledi
effectfully
effectfully@effectfully·
"If it type checks, it works" says a Haskeller as he commits another space-leaking function to the standard library.
English
13
14
261
10.8K
Vladislav Zavialov
Vladislav Zavialov@int_index·
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.
English
2
1
3
1.1K
Vladislav Zavialov
Vladislav Zavialov@int_index·
@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.
English
1
0
4
435
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
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…”
English
17
11
405
23.5K
One Happy Fellow
One Happy Fellow@onehappyfellow·
what the proper reaction to someone telling you to your face that you deserve to die?
English
16
0
21
2.1K
Vladislav Zavialov
Vladislav Zavialov@int_index·
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?
English
0
0
6
502
effectfully
effectfully@effectfully·
I take 50% of my steps with my left leg. My goal is to raise this to 60% by October.
English
9
1
93
4.4K
Vladislav Zavialov
Vladislav Zavialov@int_index·
Ah, that intoxicating feeling of pushing to a mutable vector.
English
3
0
7
1.1K