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.
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.
One of the reasons I'm so annoyed by the use of plaintext for code. Comments should be annotations attached to AST nodes and displayed on the side.
United States เทรนด์
- 1. Ohtani 220K posts
- 2. Dodgers 265K posts
- 3. World Series 62.3K posts
- 4. Carson Beck 16.6K posts
- 5. Emiru 7,981 posts
- 6. Miami 101K posts
- 7. Louisville 28.5K posts
- 8. Brewers 56.9K posts
- 9. Nebraska 17.9K posts
- 10. Babe Ruth 3,523 posts
- 11. NOCHE IS BACK 30.3K posts
- 12. Massie 31.4K posts
- 13. NLCS 63.1K posts
- 14. #HeartofTaehyung 25.2K posts
- 15. #BostonBlue 7,872 posts
- 16. George Santos 85.9K posts
- 17. 3 HRs 10.2K posts
- 18. TwitchCon 23.8K posts
- 19. #SmackDown 59.3K posts
- 20. Rhule 4,697 posts
คุณอาจชื่นชอบ
-
João Forte Carvalho @Conste11ation
@bgamari -
Well-Typed
@welltyped -
Tweag
@tweagio -
Nikita Volkov
@NikitaYVolkov -
Joachim Breitner
@nomeata -
Dmitrii Kovanikov
@ChShersh -
Andres Löh
@kosmikus -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Serokell
@serokell -
Michael Snoyman
@snoyberg -
gelisam
@haskell_cat -
Matt Parsons
@mattoflambda -
Veronika Romashkina
@vrom911 -
Tikhon Jelvis
@tikhonjelvis -
Alejandro Serrano
@trupill
Something went wrong.
Something went wrong.