Dea
banner
tohkie.com
Dea
@tohkie.com
**NSFW warning**
she/her, 21
cybersecurity | nixos | functional programming | rhythm games
hrt: march 10th

yearning goth chinese american puppygirl
single & mono
Pinned
Dea @tohkie.com · Nov 18
i still think about this from time to time
Jia Tan found a way to get paid to work on open source. Why can't you
Reposted by Dea
rhythm gamers in december 2025:
November 30, 2025 at 6:04 PM
Reposted by Dea
im sick of ppl spreading misinformation on the fire that happened in hong kong this week:

1. what started the fire is still under investigation but residents constantly reported construction workers smoking on site
November 29, 2025 at 8:32 AM
i hate that thing when your body chokes on saliva for no reason holy TwT
November 29, 2025 at 2:54 AM
Reposted by Dea
@mary.my.id has been verified by @bsky.app.
November 26, 2025 at 8:48 PM
i zero cycled for the first time ever last night without watching any tutorials or guides and then i realized i wasnt recording (practice map)
November 24, 2025 at 2:12 PM
need cuddles.......................... void
November 23, 2025 at 5:06 AM
i wonder what the person sitting to my left is looking om their phone at
November 21, 2025 at 4:55 AM
Reposted by Dea
anyway i dont think i ever posted this here have fun
November 20, 2025 at 4:35 AM
i cannot escape from freddy

freddy movies
freddy pizzas
now freddy fried chicken..
November 20, 2025 at 12:49 AM
Reposted by Dea
i think the delay made the fans in the discord go insane
November 18, 2025 at 10:33 AM
any1 wanna add me on maimai?
November 18, 2025 at 3:28 AM
Reposted by Dea
These two phrases:
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.

That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 10:48 AM
paling paling paling paling paling paling
November 16, 2025 at 8:06 PM
Reposted by Dea
November 15, 2025 at 2:44 AM
pple who run with their hands in their pockets look so funny lol
November 13, 2025 at 9:52 PM
Reposted by Dea
I’m bored… maybe I’ll go destroy a planet
November 13, 2025 at 1:12 PM
Reposted by Dea
i took such a nice shower and i feel much cleaner but damn i still feel quite sick
November 12, 2025 at 11:41 PM
unfunctional girl works on functional programming hmmm
November 13, 2025 at 3:52 AM
hello, this is your daily dose of internet
November 11, 2025 at 12:37 AM
NSFW warning: jung vs: snc ureb gb gur orng bs oenva cbjre YBYYYY
November 7, 2025 at 3:13 PM
ive been informed that im a noob for doing workday applications the old fashioned way
i put racket in my skills and for the first time ever a workday application actually had it as a programming language and not a sport
November 6, 2025 at 8:08 PM
hope!
November 5, 2025 at 7:43 PM
i put racket in my skills and for the first time ever a workday application actually had it as a programming language and not a sport
November 5, 2025 at 5:03 AM
merry christmas
October 31, 2025 at 5:42 AM