Vladislav Zavialov
@int_index
Haskell programmer since 2012; GHC contributor since 2018.
คุณอาจชื่นชอบ
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.
Shaming people for asking questions? Tsk, tsk.
If you ever worry about not being a good SWE, Remind yourself that someone non-ironically asked this question.
"You'll own nothing and be happy" is what a garbage-collected language feels like after using Rust's ownership system.
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.
"If it type checks, it works" says a Haskeller as he commits another space-leaking function to the standard library.
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.
ocaml has the highest fun density per line of code, see the attached totally scientific graph:
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?
MuniHac starts in a week, and I’m going to attend. Train tickets bought, room booked — see you there!
No one knows The Right Way to do things, so if you want to ship product, you have to churn out slop on deadlines. Otherwise, you become a researcher and discover a nice thing once every few years.
are there any companies or people left that genuinely appreciate the art of programming? or is it all just 99.9% of companies demanding people churn out slop on deadlines?
The #1 rule of readable code is that there shouldn't be much of it.
protobuf isn't perfect but the current version is good enough that it should be the default 1 word about "human readable" and you get 60 secs with a gun to your head to sight-read TLS encrypted packets bearing UTF-8 encoded JSON dumped as hexadecimal in wireshark, no mitmproxy
Volkswagen. DaaS Auto. (Driving as a service).
Narrator: it's 10,000 lines of bug-filled crap.
I met a founder today who said he writes 10,000 lines of code a day now thanks to AI. This is probably the limit case. He's a hotshot programmer, he knows AI tools very well, and he's talking about a 12 hour day. But he's not naive. This is not 10,000 lines of bug-filled crap.
United States เทรนด์
- 1. Jeffy Yu 4,476 posts
- 2. Notre Dame 112K posts
- 3. Ravens 25K posts
- 4. Colts 23.3K posts
- 5. Bengals 26.4K posts
- 6. Daniel Jones 11.9K posts
- 7. Josh Allen 10.5K posts
- 8. Tulane 38.2K posts
- 9. Lamar 23.7K posts
- 10. Bills 77.3K posts
- 11. James Cook 3,007 posts
- 12. Miami 423K posts
- 13. Joe Burrow 7,984 posts
- 14. Shedeur 28.5K posts
- 15. Falcons 12.2K posts
- 16. Achilles 9,228 posts
- 17. Bateman 2,577 posts
- 18. Jayden Daniels 4,279 posts
- 19. Alabama 175K posts
- 20. Tee Higgins 4,826 posts
คุณอาจชื่นชอบ
-
João Forte Carvalho @Conste11ation
@bgamari -
Well-Typed
@welltyped -
Tweag by Modus Create
@tweagio -
Nikita Volkov
@NikitaYVolkov -
Joachim Breitner
@nomeata -
Dmitrii Kovanikov
@ChShersh -
Andres Löh
@kosmikus -
Serokell
@serokell -
Michael Snoyman
@snoyberg -
gelisam
@haskell_cat -
Matt Parsons
@mattoflambda -
Veronika Romashkina
@vrom911 -
Vanessa McHale
@vamchale -
Tikhon Jelvis
@tikhonjelvis -
Alejandro Serrano
@trupill
Something went wrong.
Something went wrong.