Sign in

Dea

@tohkie.com
305 followers 282 following 2K posts

she/her, 22 cybersecurity | nixos | functional programming | rhythm games | UMD '26 hrt: march 10th 25 goth chinese american puppygirl

PostsRepliesMedia
Dea @tohkie.com · 02/10/2026
i have bell's palsy
120
Dea @tohkie.com · 01/10/2026
health incident
050
Reposted by Dea
Haskell programming language @haskell.org · 28/09/2026
AmeriHac 2027 announcement haskell.foundation/news/2026-09... #Haskell
haskell.foundation
Save the date for AmeriHac 2027
The Haskell Foundation is happy to announce that it will again host AmeriHac in 2027, in collaboration with Jane Street.
052
Reposted by Dea
Princess Blue (Loves you) @blue1644934.neocities.org · 24/09/2026
It’s working… I’m influencing!
191
Dea @tohkie.com · 08/09/2026
might be a bit out there but networkmanager works on kde but not when i try using nm on mangowm. i imagine its the same with other wms outside kde/gnome. the link connection keeps timing out without doing anything. ive (and others) been trying to fix this actively for over 10 hours added up
221
Reposted by Dea
Foxes In Love @foxes-in-love.bsky.social · 24/08/2026
A comic of two foxes, one of whom is blue, the other is green. In this one, Blue and Green are sitting side by side in a tree, their tails coiled together.
Blue: It's best to share your life with someone who keeps you out of trouble.
Green: Yep. But it's more fun to be with someone who will join you in it.
Blue: That's also true.

Cautiously, Blue and Green peer down from their branch, looking to the ground far below.
Blue: Do you think it's safe to get down yet?
Green: No, I think they're still angry.

There's a sound of unintelligble cursing coming from the ground below.
174932898
Dea @tohkie.com · 28/08/2026
is switching from nvim to helix good?
4170
Reposted by Dea
cinnamon 🐇 🏳️‍⚧️ @plushie.holdings · 28/08/2026
by @1999.nyc nullpt.rs/reverse-engi...
nullpt.rs
nullpt.rs • Reverse Engineering My ADHD Test
I decided to get evaluated for ADHD. Curiousity struck, and I had the bright idea to capture the page source and any outbound requests.
4575
Dea @tohkie.com · 25/08/2026
just got denied an extension from an OA even though im so sick right now
140
Dea @tohkie.com · 25/08/2026
i got covid for the first time
470
Reposted by Dea
Lina Lastname @lina.ohai.social.ap.brid.gy · 21/08/2026
new blog post! lina.sh/blog/hijacking-e164-arpa i hijacked some telephone infrastructure of a few islands over the span of multiple months; and accidentally logged information of a few hundreds of thousands of phone calls going to military bases in the process.. it's a really really […]
ohai.social
Original post on ohai.social
31879
Dea @tohkie.com · 17/08/2026
when are we getting a bloons monkey city 2 @ninjakiwigames.bsky.social
130
Reposted by Dea
maia arson crimew 🏴 @crimew.gay · 13/08/2026
guys do i make a fans day
the haskell programming language profile shows a "follow back" button, oh also they replied to my meow post with a meow
948414
Reposted by Dea
Apex IQ2_XXS @apex.atproto.ceo · 12/08/2026
stop recommending Mint as a beginner distro
8453
Reposted by Dea
sekun @sekun.net · 12/08/2026
everyone should use NixOS btw
1378
Reposted by Dea
Zach Bussey 🍁 @zachbussey.tos.gg · 12/08/2026
Twitch now uses your channel to train generative AI by default. You can opt out of some training here: www.twitch.tv/settings/sec...
Training for Generative AI

Allow your channel content to train generative AI content models at Amazon. Turning this off does not opt you out of Twitch and Amazon using your channel content for other purposes described in the Twitch Privacy Notice, including using AI-supported Twitch features that benefit the community by facilitating streamer growth and monetization (such as real-time sponsorship campaign assistance), viewer discovery (such as recommendations), and community safety (such as AutoMod). Learn more
24288948674
Reposted by Dea
Chipockalips Now! @fragboner.bsky.social · 09/08/2026
I will always stand with you 🏳️‍⚧️
In final fantasy tactics an edited screen shot shows the trans flag and colors on a ally country saying “Will you stand with us because they might come for you next?” To which the main character who represents the poster says “No, I'll stand with you because they're coming
Tor you now.”

Because if you fuck with my trans friends or people I will fucking come for you
3181412671
Dea @tohkie.com · 06/08/2026
this new discord mobile squirclified ui is terrible, is this genuienly what the discord app developers preferred when implementing it? or is this the result of design choices made by claude
4100
Dea @tohkie.com · 27/07/2026
how to find artists that have shops here? dea is looking for a light jacket to buy and is trouble finding cool ones
040
Dea @tohkie.com · 23/07/2026
nyc is pawesome
230
Reposted by Dea
rainy @rainy.pet · 18/07/2026
nixos
3886
Reposted by Dea
Haskell programming language @haskell.org · 06/07/2026
mfs will see (>>=) and (=<<) and say "Yuri! 👉👈"
38214
Dea @tohkie.com · 06/07/2026
realized that YYYY-MM-DD is a superior date format
1513414
Reposted by Dea
NixOS Foundation @nixos.org · 29/06/2026
#NixOS received its first #trademark! This milestone caps four years of Foundation work. Huge thanks to our legal and trademark partners. Next the SC and Board will draft a trademark policy to protect our contributors. Full announcement:
discourse.nixos.org
Announcing - NixOS Trademark
Hey Team! Some may have noticed if you’re into searching things up: NixOS has officially received its first trademark in community history! (and we also celebrated a birthday two weeks ago!) This is…
1373
Reposted by Dea
Haskell programming language @haskell.org · 16/06/2026
After becoming a regular contributor to haskell-language-server and even having his Google Summer of Code proposal accepted, Vidit wanted to talk about his experience on approaching Haskell code bases. “Contributing to Haskell Through a Beginner’s Lens” blog.haskell.org/contributing...
blog.haskell.org
Contributing to Haskell Through a Beginner’s Lens | The Haskell Programming Language's blog
1192
Reposted by Dea
Sacha Ayoun @giltho.bsky.social · 04/06/2026
Thanks to everyone who came to our second edition of Caml in the Capital yesterday, we had a blast! Thanks to Jane Street for hosting us as well! #OCaml See you some time in September for the next edition
1204
Reposted by Dea
Mike Sperber @sperbsen.bsky.social · 07/06/2026
Second day of #zurihac, and enjoying it immensely. Simon PJ's talk on verse reminded me of the glory days of the Icon programming language. Will talk about teaching functional programming/Haskell later today. zfoh.ch/zurihac2026/
Photo of Simon Peyton Jones in a lecture hall with Lake Zurich and mountains in the background.
0193
Reposted by Dea
gabby @fullmoon.id · 06/06/2026
I designed a simpler way to override packages in Nixpkgs which is backwards-compatible with existing Nixpkgs code and idioms haskellforall.com/2026/06/ergo...
haskellforall.com
Ergonomic overrides for Nixpkgs
Announcement post for the override-utils Nix package
5535
Dea @tohkie.com · 06/06/2026
dm me on discord: tohkie. with the period
340
Dea @tohkie.com · 05/06/2026
any moots have discord servers theyre active in that i could join? preferably consisting of coders and pple who play games together .w.
040
Reposted by Dea
Haskell programming language @haskell.org · 02/06/2026
The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities. There is no Haskell without the trans people who have shaped it through the years. This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ
The trans flag with a greek lowecase lambda letter in black on it.
151101284
Dea @tohkie.com · 03/06/2026
tried making my work laptop a little more bearable but glazewm and yasb both require admin perms .... whats worse is that fedora wsl failed to build some of the internal tools im supposed to work on so im stuck on ubuntu for now wsl nixos soon? :)
030
Dea @tohkie.com · 30/05/2026
this is why tailscale is awesome
0140
Reposted by Dea
cafkafk @cafkafk.bsky.social · 27/05/2026
The #nixos SC unanimously voted in favor of adopting home-manager as an official project. It's worth stopping to appreciate what this means. We are much more than a distribution for servers. Even if we're also the best at servers!
4646
Dea @tohkie.com · 20/05/2026
i graduated today :)
7180
Dea @tohkie.com · 19/05/2026
i was playing maimai yesterday and the person on the cab next to me was called something like SigMa!Rizz67
460
Dea @tohkie.com · 13/05/2026
teaching my gf haskell i love her
2140
Dea @tohkie.com · 03/05/2026
bsky.app/profile/did:... the only list ull need on this site
130
Reposted by Dea
OCaml @ocaml.org · 30/04/2026
The OCaml Users Survey 2026 is now open! 📊 Share your experience with OCaml - from tools you use to new questions on AI/LLM tooling and debugging. Takes 10-15 minutes, open until May 25th. forms.gle/gt5nikqUmoQWeYYQ9
178
Dea @tohkie.com · 30/04/2026
sub 10! sub 9 is next :3
2x1 2 block deep lava magma portal building practice
140
Dea @tohkie.com · 29/04/2026
WELCOME HOME CACHE
040
Reposted by Dea
Ky @ky.fyi · 24/04/2026
I wrote about why I quit my job, and how weird and tiring tech feels these days.
ky.fyi
Do I belong in tech anymore?
On quitting, the spread of AI, and the loss of an ideal.
1281791545
Dea @tohkie.com · 25/04/2026
umdCTF 2026 is live right now! discord: discord.gg/RtuwvD4B9u sign up: umdctf.io
discord.gg
Join the UMDCTF 2026 Discord Server!
UMDCTF2026 ! | 2144 members
000
Reposted by Dea
aparker314159 @averypi.space · 22/04/2026
My patch got merged into GHC! Wasn't a huge change but it was cool to work on and the maintainers are super nice :)
0192
Reposted by Dea
itmg @itmg.bsky.social · 21/04/2026
hii @hanabiyaki.bsky.social
3536
Reposted by Dea
dd🌺 @dd86k.space · 17/04/2026
1347
Dea @tohkie.com · 17/04/2026
LOLLL "NO! THIS IS NOT HOW U PLAY THE GAME!"
MIKU FROM THE STANDS FELL WHEN I TRIED PICKING UP THE YELLOW PILLOW UR SUPPOSED TO DROP IN THE CHUTE AND I PROCEED TO PICK UP MIKU AND IT GRIPS HARD ENOUGH TO GET PUT INTO THE CHUTE
160
Dea @tohkie.com · 16/04/2026
wth they added a doggy house to lethal company thank u @zeekerss.bsky.social
130