LambdaDuck

Functional programming and type theory enthusiast #Haskell #Agda. They/Them

mastodon: @anka213.bsky.social

[LambdaDuck @Anka213]

Parser in a tweet:

import Control.Monad.State
import Control.Applicative
import Data.List

data T = T [T] deriving Show
ch c = mfilter (== c) $ StateT uncons
parens = T <$ ch '(' <*> many parens <* ch ')'

parse = runStateT

-- $> parse parens "(()())"
-- Just (T [T [],T []],"")

[LambdaDuck @Anka213]

@PrequelComic 🥳🎊🎉🎈

[LambdaDuck @Anka213]

@ahhh_jeez @ArtCandee @WhiteHouse @nytimes @ChrisVanHollen there are absolutely no evidence that he is that. do you prefer the doctrine of guilty until proven innocent?

[LambdaDuck @Anka213]

@dascryto @AraquelBloss @WhiteHouse @nytimes @ChrisVanHollen i dunno, i think following the constitution is kinda important. none of the things you say have been proven in a court of law. if you can send people to a concentration camp in a foreign country without even having a hearing first, you’re no longer a free country

[LambdaDuck @Anka213]

@brokenwing2005 @marek_zyskowski @ABC i mean, at latest parts of it is possible (as evidenced by this video). just because most of it is made up doesn’t mean that there aren’t some parts that were inspired by true events, but heavily exaggerated to make a better story

[LambdaDuck @Anka213]

@Krokantmikraren @RoborosewaterM it’s been a month now. i don’t see any hints of them going back. they still thrive on the other platforms

[LambdaDuck @Anka213]

@phillyroaster @Nljigakulive @WhiteHouse when people’s misery and dehumanization is labeled as ASMR

[LambdaDuck @Anka213]

@sam_of_hosseini @traskjd @GergelyOrosz you’re no doubt already aware of this, but keep in mind that the very existence of AI text generation makes marketing through blog posts way more difficult, as people will be way more skeptical of anything they see. but yes, the “actually helps” part seems like a good antidote

[LambdaDuck @Anka213]

@taoeffect that’s the doctors’ faults for not taking the patients seriously

[LambdaDuck @Anka213]

@Wenitte1 people who enjoy mathematics do. i find it really nice to be able to mathematically reason about my code, which also helps increasing my confidence in its correctness, especially if i can encode some properties so the compiler can verify them

[LambdaDuck @Anka213]

@ChShersh i think the reason many prefer OOP patterns is that they inherently describe their purpose and the problem they are meant to solve, while CT patterns just dryly describe the what and not the when or why.

the builder pattern tells us when and why to use it, while monoid doesn’t

[LambdaDuck @Anka213]

@TaylorAllred8 @ChShersh they literally have mathematically precise rigorous definitions. that’s the exact opposite of vague. i’d get off your complaint was that they were too abstract or too generic though

[LambdaDuck @Anka213]

@effectfully @thomascortese_ it is _a_ valid definition. not saying it’s the only one. sure it depends on a lot of other parts of the theory, but it’s still a definition

[LambdaDuck @Anka213]

@effectfully @thomascortese_ infix 4 _≡_
data _≡_ {a} {A : Set a} (x : A) : A → Set a where
instance refl : x ≡ x

[LambdaDuck @Anka213]

@effectfully @ThePrimeagen premature abstraction is the root of all evil

well done abstraction is great, but more often than not it is more of an obfuscation layer that just makes it more difficult to figure out what is actually happening

[LambdaDuck @Anka213]

this sketch is evergreen:
(english subtitles available)
https://t.co/vqBUN5OMw9

[Elon Musk @elonmusk]

Frankly, they need better dirty tricks.

The “everyone is Hitler” attack is sooo tired 😴

[LambdaDuck @Anka213]

@elonmusk this sketch is as relevant as ever:
(english subtitles available)

https://t.co/vqBUN5OMw9

[LambdaDuck @Anka213]

@notedBonesHaver @RoborosewaterM @Eiimcology here’s a list i created: https://t.co/WVpU43teb9

[LambdaDuck @Anka213]

@notedBonesHaver @RoborosewaterM @Eiimcology yes, it seems to be public, but it’s not super visible. see the last tab here: https://t.co/BnVstVExqN

[LambdaDuck @Anka213]

@Total_DK @RoborosewaterM yes. they have already been posted on the linked platforms for quite some time, so no change there