Georgi Lyubenov

pfp by @elettln

[Georgi Lyubenov @googleson78]

@georgimentor @AtanasMarkov79 🤮

[Georgi Lyubenov @googleson78]

@PLT_cheater @GabriellaG439 My extreme end take that I believe is at least partly true: The whole "quality vs speed" argument is something that was started by and is entirely peddled by corpo suits who want to maximise short term value and don't understand how maintenance or scaling a code base work.

[Georgi Lyubenov @googleson78]

@mattoflambda Of course, I'm not saying that this makes the situation great or even good - I am sharing what my experience and optimal strategy for ghc proposals is. (nor am I saying that we should do nothing about the situation, which has been going on for N years already)

[Georgi Lyubenov @googleson78]

@mattoflambda I believe the issue here stems almost entirely from one member of the community who is actively being overly aggressive/derailing on most forums where they engage in discussion, and that ignoring that individual produces better results and experiences.

[arven 🎨 COMMS OPEN‼️ @_avetato]

[ disco elysium ] end of day 1 balcony scene my beloved. disco elysium colours my beloved. kim kitsuragi my beloved
.
#discoelysium #kimkitsuragi

[Georgi Lyubenov @googleson78]

@chainsawroll youtube-dl is the "canonical" tool for this job, although I'm not sure if it has a GUI, if that's something you're looking for.

[Georgi Lyubenov @googleson78]

@chrislpenner Most likely just so you don't lose progress. After all, it's not like you can usually retry the transaction to save if you've quit the game

[Georgi Lyubenov @googleson78]

@JadeMasterMath As far as I recall, this definition was necessary when talking about products of an infinite number of sets, and I haven't seen any other way to do this.

Is there some simpler alternative to this in classic FOL Set Theory?

[Nicholas Kole @FromHappyRock]

This quote from Disco Elysium is running laps around my brain this morning. Haunting, apt

[Georgi Lyubenov @googleson78]

@tomjaguarpaw @FlyingGuibou @kerckhove_ts @Iceland_jack In the DerivingVia paper, there's a section on deriving things via the Generic representation of a type, sounds like it might be what you're looking for. I think this is also what the Generically newtype wrapper is about, although not 100% sure

[Georgi Lyubenov @googleson78]

@ChShersh Thanks for the great work!

I consistently found myself enjoying the viewpoints and feedback you brought to proposals, as well as the compassionate ways in which you presented them/it!

[Georgi Lyubenov @googleson78]

@mstk @TaliaRinger I am now going to start using "to monoodle"

[Georgi Lyubenov @googleson78]

I've started a discussion around adding a "Functor" HasField instance that would allow you to project records out of arbitrary Functors, e.g. data Struct = Struct {foo :: Int}; let mx :: Maybe Struct in (https://t.co/b9Tm5vPh4w :: Maybe Int)

Come join! https://t.co/2Vzkde3yZD

[Georgi Lyubenov @googleson78]

@ChShersh I made a proposal suggesting this! - https://t.co/lRpqJo8je5

[Georgi Lyubenov @googleson78]

@Hammlingu 😭💜💜💜

[Georgi Lyubenov @googleson78]

@ChShersh I would love for this to get more attention. I think it would save **so much** unnecessary churn with a very simple change. But we also need to make the hard call to not have the "duplicate imports" warning on by default, because otherwise -Wall users are still stuck by default.

[Georgi Lyubenov @googleson78]

This is a very small thing, but I just got my first ghc proposal implementation merged! It allows {..} syntax for nullary constructors, mostly to make writing TH manipulating records just a tad bit easier.
https://t.co/Y0rxrlk7cf

[Georgi Lyubenov @googleson78]

@chiroptical It's Data.Maybe.mapMaybe, but that composition does the same