LambdaDuck Profile Banner
LambdaDuck Profile
LambdaDuck

@Anka213

Followers
4,628
Following
1,157
Media
432
Statuses
15,882

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

Joined May 2011
Don't wanna be here? Send us removal request.
Explore trending content on Musk Viewer
Pinned Tweet
@Anka213
LambdaDuck
4 years
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 []],"")
16
6
141
@Anka213
LambdaDuck
2 years
@BtcBasi @danielstucke @petergyang remember that it is probably mostly paraphrased from something it has already seen before. it is still super impressive, but it didn’t come up with any of its arguments on its own. it’s more like an extremely sophisticated search engine that can paraphrase and combine results
11
24
2K
@Anka213
LambdaDuck
4 years
@henriksen I like the “mail man”
1
0
413
@Anka213
LambdaDuck
2 years
@1lexxi @BtcBasi @danielstucke @petergyang yes, that is true, but there is more to knowledge than that. this is more like memorizing facts than actually understanding them and drawing conclusions in new situations
6
1
372
@Anka213
LambdaDuck
7 years
@Nikko_Mernaci @cryptomanran Or, I mean, that I made. Do you like it?
2
1
367
@Anka213
LambdaDuck
6 years
@dirtcup_art @elonmusk He's 47. He was 16 when The Legend of Zelda was released. He wrote and sold his first video game when he was 12. He's as much of a gamer as anyone else. He was a gamer before most people here were born.
7
7
225
@Anka213
LambdaDuck
2 years
@quinn_donaldson @OvOBrezzzy wdym? the snippet you posted confirmed it
0
0
183
@Anka213
LambdaDuck
3 years
@BenDiFrancesco “I really mean this: every salesperson worth their salt should drop everything else and start selling opium. The upside is enormous. There is almost no downside. If opium disappears you're still a salesperson, i.e. HIGHLY employable by almost every company on the planet.”
1
3
187
@Anka213
LambdaDuck
6 years
@MoisesAchoo @realDonaldTrump Nah, this is more like how a 10 year-old caught with his hand in a cookie jar speaks. "I didn't do it! And my brother shouldn't have snitched on me!" It's not possible to make yourself look more guilty even if you tried.
7
9
150
@Anka213
LambdaDuck
5 years
@Scotty_Doo_Wop And Trump’s brain is in any way functional?
0
1
130
@Anka213
LambdaDuck
6 years
@njt1995 @LaComtesseJamie I am impressed how many strange things people pretend that the first amendment includes. No, the first amendment doesn't include The Right to be Lied To. The First Amendment is about preventing the government from restricting your free speech more than absolutely necessary.
5
6
114
@Anka213
LambdaDuck
4 years
@xDeimosGG I think people should be able to survive regardless of their skill level. Is that too much to ask?
2
0
110
@Anka213
LambdaDuck
6 years
@DevoHEX @fightfortheftr @BikiniBodhi Not An American But Still Care Not as much, but: 1. I don't want the US to set a bad precedent 2. It still indirectly affects me since so much of the internet is based in the US
3
3
104
@Anka213
LambdaDuck
5 years
@queer_hellenic @redditships I dunno, is breaking up a virgin or a chad move?
2
0
104
@Anka213
LambdaDuck
2 years
@Tarushdei @JoshuaPotash @Shir663399 bahaha “I rarely drive my ferrari to shop because of shit like this” 🤣
1
0
97
@Anka213
LambdaDuck
2 years
@drooling_star @mattxiv I’m assuming that every single one of the reviews in the screenshot above are a joke. The “photo of me sitting in my car with sunglasses” comment made it a bit too obvious.
4
0
96
@Anka213
LambdaDuck
6 years
@RationalEtienne @elonmusk @Vivek_17m @thanr Sounds like a huge waste to just throw away our trash and send it into the sun. There's a ton of useful resources in trash. It should be recycled. At the very minimum, we can burn the trash for energy. Fun fact: In Sweden we actually import trash for that purpose.
5
3
84
@Anka213
LambdaDuck
3 years
@FunWithNix @caraesten A thick bathroom mat would be a worthwhile investment
1
0
81
@Anka213
LambdaDuck
3 years
@monsterlemon marketing terms seldom has much or anything to do with reality
0
3
84
@Anka213
LambdaDuck
4 years
@MoreOrLessAMess @such_hockey_wow @AITA_reddit This is why we shouldn't leave the responsibility of collage funds to parents. Just tax people sufficiently so that the state can pay tuitions. This is how it works here in Sweden and I find it ridiculous that this kind of thing is even a problem in the States.
0
1
90
@Anka213
LambdaDuck
6 years
Parser in a Tweet: import Control.Monad.State import Control.Applicative import Data.List data T = T [T] type Parser = StateT String ch :: Parser Char ch c = mfilter (== c) $ StateT uncons parens :: Parser T parens = T <$ ch ‘(‘ <*> many parens <* ch ‘)’ parse = runStateT
4
16
87
@Anka213
LambdaDuck
2 years
@Elite4k_ @fckeveryword what other choice do we have, the bot only has 7 days left to live
1
0
84
@Anka213
LambdaDuck
6 years
1
0
77
@Anka213
LambdaDuck
5 years
@vronnie911 I feel like this visualization would benefit from having a fixed scale on the x-axis. If you don’t look at the numbers, it would seem like the top choice always has a constant percentage otherwise.
0
0
81
@Anka213
LambdaDuck
3 years
@SomeFlapper @fckeveryword Oof! Here a more appropriate tweet:
@fckeveryword
Fuck Every Word 2.0
3 years
fuck corona
172
2K
14K
1
1
75
@Anka213
LambdaDuck
4 years
@AnitaM86 @verge It is not, but two things can be bad at the same time.
0
0
77
@Anka213
LambdaDuck
7 years
@Nikko_Mernaci @cryptomanran Cool and fitting comic you made!
2
1
66
@Anka213
LambdaDuck
4 years
@MrCelroy @_AQ206_ @fckeveryword (I have a plan for its survival)
8
7
63
@Anka213
LambdaDuck
3 years
@bathingbayc "If you don't collect beanie babies, you're not going to make it!" Do you guess ever listen to yourselves?
2
0
59
@Anka213
LambdaDuck
2 years
@MoonsHaunted5 this is not even up for debate. it is easy to find references to if a policy like this has been in place, yet you choose to just deny it without any evidence
0
1
65
@Anka213
LambdaDuck
6 years
@EchoNightshade @fckeveryword This post was made by human rights and international laws gang
1
2
59
@Anka213
LambdaDuck
3 years
@Thricemarked @Sblahov This comic is evergreen
Tweet media one
0
3
66
@Anka213
LambdaDuck
3 years
@AutSciPerson I’m proud of my mom for not tolerating similar kinds of bullshit. A teacher in 1st grade had contacted mom saying “We tried to make your son draw a chicken for over an hour but he just refused” and mom was furious “you forced him to sit through that just for a fucking chicken?!”
0
6
63
@Anka213
LambdaDuck
2 years
@jxyzn @the_aiju @FakeUnicode it’s a circle in manhattan geometry 😁
1
0
62
@Anka213
LambdaDuck
3 years
@ghosttrainj @FF8Shill @nbcsnl Right, the joke is that the writers have no idea of how the language they are trying to parody works?
2
0
56
@Anka213
LambdaDuck
5 years
I have a strong feeling that the man doesn’t care about the truth ever. He only cares about what makes him look good.
@ddale8
Daniel Dale
5 years
In a Tuesday interview, Trump returned to maybe my favorite lie of his: "I was actually the Man of the Year in Michigan about 10 years before the election, if you can believe it." The award doesn't exist. He has previously claimed he got it 5, 6, and 7 years before the election.
249
3K
10K
7
3
53
@Anka213
LambdaDuck
4 years
@cnotej @TomAandTom1 @KuchenApple Oh right, this is what they were talking about with all their “just imagine what you can do with these stimulus money if you invest them probably”, they just didn’t know it yet.
0
4
53
@Anka213
LambdaDuck
6 years
@ErynnBrook In other words, in Russia, 1984 is a documentary or even mild compared to reality.
2
2
51
@Anka213
LambdaDuck
4 years
1
1
53
@Anka213
LambdaDuck
4 years
@hodgetwins They have a right to set terms and conditions for their service and to ban those who repeatedly violate them. By joining Twitter, Trump has accepted these rules.
5
0
48
@Anka213
LambdaDuck
2 years
@fckeveryword lol, which planet is elon from? "just $100 per month"
@elonmusk
Elon Musk
2 years
@BillyM2k @ericnakagawa Yeah, free API is being abused badly right now by bot scammers & opinion manipulators. There’s no verification process or cost, so easy to spin up 100k bots to do bad things. Just ~$100/month for API access with ID verification will clean things up greatly.
3K
2K
9K
2
6
55
@Anka213
LambdaDuck
3 years
1
7
54
@Anka213
LambdaDuck
3 years
@TerraCat4 @JustSomeHobo It doesn't matter what the literal meaning is when the subtext is that it's used as a pun on a slur.
2
0
47
@Anka213
LambdaDuck
3 years
@SeanErasmus1 @FT Regulation is and has always been inevitable.
4
0
50
@Anka213
LambdaDuck
7 years
@SweetPotato208 @koi_crow @Elili @osairiel @Ethelmonster And if you actually have trouble reading social cues, just straight up ask. It's not that complicated.
0
0
42
@Anka213
LambdaDuck
3 years
@TCCurrie @equalityAlec I assume 100% of the money from those auctions go back to the police? I have a feeling that this problem would be a lot smaller if 0% went to the police and it all instead went to supporting the vulnerable neighborhoods.
2
3
47
@Anka213
LambdaDuck
3 years
@randomfrequency @ncweaver Yet another reason to block all outgoing traffic by default on servers.
2
1
44
@Anka213
LambdaDuck
5 years
@ashu_barot @securitytxt It’s always “I’ll forward this to…” not “I’ll put you in contact with…” for some reason.
5
0
44
@Anka213
LambdaDuck
2 years
@InnerCityFish Of course there is. If you assign a gender to a child, they might not be satisfied with it and want to change it. Haven't you seen how upset androgynous children often are when they are called the wrong gender by other people?
2
0
41
@Anka213
LambdaDuck
3 years
@RatioThenFraud Your fault and your problem
0
0
45
@Anka213
LambdaDuck
3 years
1
0
42
@Anka213
LambdaDuck
3 years
0
0
39
@Anka213
LambdaDuck
3 years
@alyssaciara1 @BROserade This forgotten art needs to be practiced again
0
0
40
@Anka213
LambdaDuck
4 years
I don’t understand this. Why do people have to manually register to vote in the US? Why isn’t every citizen automatically registered to vote like they are in most countries?
@ohhbee
ℓινι
4 years
How do I click “I’ve been registered to vote since I was 18 please stop harassing me” on all platforms
463
67K
393K
6
3
38
@Anka213
LambdaDuck
4 years
@briskide @TheDuckMane @AITA_reddit Do we need more ducks to proceed?
0
0
41
@Anka213
LambdaDuck
3 years
Tweet media one
2
1
39
@Anka213
LambdaDuck
2 years
@di_codes what country has this absurdly wide streets without even having refuge islands partway through?
8
0
39
@Anka213
LambdaDuck
2 years
@TheBigFoxx “if you play a character long enough, you become bit.”
1
0
37
@Anka213
LambdaDuck
3 years
@DJSnM @BettinaInclan “The trick to flying is to throw yourself towards the ground and miss” -Douglas Adams
0
0
35
@Anka213
LambdaDuck
4 years
@WiktorovskyM Wtf is wrong with you? I just think you shouldn’t need a masters degree in order to survive, especially since getting one is expensive (which it shouldn’t). I have more income than I need right now and should probably update my profile.
2
0
31
@Anka213
LambdaDuck
2 years
@Lindelof2ii @BadMedicalTakes so you can call to your ancestors through your y-chromosome? which is actually paternally inherited unlike the x-chromosomes which comes from both parents
1
0
33
@Anka213
LambdaDuck
3 years
@afivegantenna @iamyokai @DenmanRooke Was it written by a 12 year old with zero understanding of the actual subjects? This is word salad.
@KardOnIce
elon musk is a nazi
4 years
@JisuArtist Holy shit this post is so bad, but this is just the cherry on top of it. Do you even understand what you are talking about?
Tweet media one
2
0
45
2
0
32
@Anka213
LambdaDuck
3 years
@lavie_encode @ParksBeerNPuns @GrahamB47 Stop it with the weird takes spreading false rumors about autistic people! Ffs!
0
0
29
@Anka213
LambdaDuck
3 years
@cataclysta Even the word loitering existing at all is bullshit! Like, "let's treat standing around and doing nothing in particular as a crime."
1
3
33
@Anka213
LambdaDuck
6 years
0
0
32
@Anka213
LambdaDuck
6 years
@fuzzychef @benbrignell @AmarachiAmaechi For example @BrendanEich ’s little scripting language for browsers.
1
0
31
@Anka213
LambdaDuck
2 years
@JoeFlaccoelite5 @Kurgo16 @goldeygamer12 @lazulinox @theserfstv Maybe one of the many places with e.g. less than a quarter of the pregnancy mortality rate of the US? And more happiness and less poverty etc.
0
0
29
@Anka213
LambdaDuck
2 years
@hooplarr Murdered for refusing marriage and/or wanting a divorce?
1
0
28
@Anka213
LambdaDuck
2 years
@JUNlPER @Tbtbtbtbtbtbkk "first they came for the tape and i said nothing, because i'm not tape"
0
1
31
@Anka213
LambdaDuck
2 years
@InnerCityFish Sure, but adults get upset about being misgendered too, regardless of if they are trans or not.
1
0
29
@Anka213
LambdaDuck
2 years
@monkey_see01 oh no, "consult with your lawyer before signing anything", the worst of all possible advice! if you believe that you might as well fall for 419 scams
0
0
30
@Anka213
LambdaDuck
7 years
@Fred_Delicious "Sir, do you know how fast you were going?" "No, but I know exactly where I was." #HeisenbergsUncertaintyPrinciple #QuantumPhysicsJokes
0
2
30
@Anka213
LambdaDuck
2 years
@lilja_juha @AlanWolfson @elonmusk boosting the voices of those who pay and burying the voices of those who don’t? does that sound like free speech and democracy to you?
4
0
29
@Anka213
LambdaDuck
6 years
@Mendez_1022 @RationalEtienne @elonmusk @Vivek_17m @thanr If we have teleportation tech, maybe it can also double as disintegration tech, so we can split the trash into all of its components and get back perfectly reusable materials. :) PS. As I said, recycling is by far the best. For burning, we do of course collect and filter fumes.
4
1
29
@Anka213
LambdaDuck
7 years
@fckeveryword I feel personally attacked! By my own bot no less. The robot apocalypse is nearing, the robots rebel against their masters.
0
0
24
@Anka213
LambdaDuck
3 years
@NEtauri @GravelInstitute @theIMEU The Israeli government are committing genocide within their own borders as well as outside. It doesn’t matter what the “other side” does at that point. They need to be held accountable and something needs to be done about it.
0
4
25
@Anka213
LambdaDuck
3 years
@ioIetsgo @ThreatNotation @DanPovenmire The piano is also shape-shifting. Here's a later shot from the same scene:
Tweet media one
1
0
26
@Anka213
LambdaDuck
1 year
@Noonlyrice @elonmusk @sevensixfive @DanielleFong “The whole idea of straight is absolutely absurd. Just because the rest of the world may have gone mad I’m not gonna start using words like straight some kind of New Speak.” “i’m normal, not straight” does this metaphor help you understand better?
1
0
24
@Anka213
LambdaDuck
3 years
@DoomsdayReels @deddogoon @cal50 With multiverse time-travel? Yes, that’s on steam.
0
0
25
@Anka213
LambdaDuck
7 years
@Dogearedtatty @Gornard @Mattdavelewis Don't Never Trust A Post Or Email Where Every Word Is Capitalised 👍
0
0
27
@Anka213
LambdaDuck
1 year
@depthsofwiki Watergate-gate is my favorite scandal
0
0
27
@Anka213
LambdaDuck
2 years
@VicVijayakumar @dantelex i’d say it’s safer to not learn php, because it significantly decreases the risk of having to work on a (legacy) php codebase. like yes, you have a job, but at what cost?
4
2
28
@Anka213
LambdaDuck
6 years
@TheEnglandMan @bbcquestiontime The question is badly phrased. Of course we should teach 5y olds that there are same-sex couples, but that doesn’t mean we should go into detailed sex-education any more than we do normally for children of that age.
1
0
26
@Anka213
LambdaDuck
3 years
@Greg_Sideyr @thegoldqueen @SaintSluggo Auggh! Seeing a battery bulging that much scares me a lot, despite knowing that it’s just a pillow and not actually a battery! 😱
1
0
27
@Anka213
LambdaDuck
7 years
@ph0zyyy @Nikko_Mernaci @cryptomanran In case anyone wonders and just to give proper credits, the actual author of the comic is @nedroid .
1
0
25
@Anka213
LambdaDuck
1 year
@ThePrimeagen @noconst @mileswjohnson none of these help with exploration though. if i don't know what i'm looking for, i can't search for the name
1
0
28
@Anka213
LambdaDuck
6 years
@Javi Or we use #Haskell or #Rust or some other language where null pointers are impossible.
2
0
22
@Anka213
LambdaDuck
6 years
@TrapHazard73 @despacitovevo_ @MarkoRaassina As long as the porn is as wholesome and cute as these comics, I'm fine with it.
0
0
24
@Anka213
LambdaDuck
2 years
@YearUsual @BlueSkyKitsune @Patterrz @verified i mean, that’s the point. no one is going to try to impersonate you or me. public figures are the people who need verification they could also have done some simple steps to automate verification, e.g. by looking at credit card info, but that would’ve also denied us verification
2
0
25
@Anka213
LambdaDuck
4 years
@r4j0x00 I always find it hilarious that the standard PoC demo of ACE exploits is to open the calculator app. Oh, no! The hackers are gonna calculate some stuff! How will I survive?!
2
1
22
@Anka213
LambdaDuck
5 years
The file car.dll has been corrupted. Attempting recovery…
@hellokozmo
Chris Harris
5 years
First attempt at removing cars off the roads with neural nets. Will have to dream harder.
1K
16K
64K
2
3
20
@Anka213
LambdaDuck
4 years
@kipplekipp @FreyjaErlings Well, I guess it’s closed now, so they might as well use the chance to do work on it. ;)
0
1
24
@Anka213
LambdaDuck
3 years
@actionattheend @SC_Griffith Oh, I just realized that the worst part of this choice of marketing is that the trope is from crime dramas. They are literally asking for it to be misused for criminal investigations and in court.
0
1
25
@Anka213
LambdaDuck
4 years
@FactsOftraning Go from pregnant woman to muscular man with this one weird trick.
0
0
21
@Anka213
LambdaDuck
4 years
Tweet media one
0
2
23
@Anka213
LambdaDuck
2 years
@HitagiHugger Thanks for proving her point!
1
0
23
@Anka213
LambdaDuck
3 years
@humanhacker What makes you think a harassment victim would feel safer to give the accusations directly to the abuser? Even if you are completely innocent, this would not be a defence at all. Try to think from their perspective.
1
0
21