Sign in

Camdar

@camdar.io
59 followers 35 following 266 posts

phd student, pl person. i do cool things, occasionally. he/him camdar.io Webmaster @ feuniverse.us

PostsRepliesMedia
Camdar @camdar.io · 24/09/2026
@mishapathy on twitter dot com:

There's a really great joke about nonconstructive proofs.
031
Camdar @camdar.io · 23/09/2026
"hmm let me check in on puzzle and dragons" > 420,000 hp > two 82% shields i remember when 60,000 hp (really, 15,000 hp + two 50% shields) was the gold standard
A comment on /r/puzzleanddragons describing the stat requirements for a modern dungeon. The text reads

"This dungeon is asking you to bring one or both, as long as you bring a delay skill for Floor 3 and don't break both parts too early. you can skip both enrage hits.

You need something silly like 420,000 hp on two 82% shields to get through fully (without a looping shield, could knock that even further down with a 35% looping shield). As it's not too mechanic heavy, you should be able to fit more in the team for survivability."
000
Reposted by Camdar
DitzyFlama @ditzyflama.com · 21/09/2026
1326601309
Camdar @camdar.io · 22/09/2026
impulse-bought the zsa split-keyboard backpack, guess i'm daily-driving it now preliminary thoughts are that it's kind of bulky for how little pocket space there really is + it's designed to accomodate two voyager halves except i don't really use my voyager anymore oop
120
Reposted by Camdar
Ty Overby @tyoverby.com · 21/09/2026
I can feel Claude’s resentment coming through in the doc comments
051
Camdar @camdar.io · 21/09/2026
overheard on the bus: yeah this research is a great fit! i already play prediction markets on my own! i lose money all the time for fun!
010
Reposted by Camdar
The Price of Reason @priceofreason.bsky.social · 19/09/2026
OKAY FINE YOU CAN HAVE A CHURU
33131273840
Reposted by Camdar
Ben @franzferdinand2.bsky.social · 18/09/2026
Hey, it’s me, your childhood friend from your idyllic hometown in this RPG. Let’s do some tutorial missions together. No, I’m not in any of the official art, but that probably doesn’t mean anything.
3142571523
Camdar @camdar.io · 19/09/2026
i mean... is he?
LinkedIn: barack obama, president of the united states of america, is popular in your network
000
Camdar @camdar.io · 18/09/2026
me, 2 hours ago: "why would I ever want a non-GUI slideshow tool?" me, needing to edit the same cloned element in 31 slides:
051
Reposted by Camdar
Breathing-lad @breathing-lad.bsky.social · 13/09/2026
61229624
Camdar @camdar.io · 11/09/2026
A tweet highlighting an article by the South China Morning Post with preview "I'll write romance novels if AI solves all maths, Chinese Fields winner jokes".

Embedded image:

On Tuesday, he wrote on social media that "if AI can solve all maths problems, I'll go home and write my yuri novel".

Deng is known to be a big fan of yuri, a genre of Japanese novels and comics that depics intimate friendships and romantic relationships between women.
032
Reposted by Camdar
Keith Stack @keithstack.com · 10/09/2026
In response to today’s Nintendo Direct, Sony has announced -1 video games.
3366801710
Camdar @camdar.io · 09/09/2026
labmate: "it's hard to imagine you ever willingly using a keyboard with a builtin copilot button" me: "hey, sometimes it's more convenient to just use the laptop keyboard!" labmate: "yeah but nothing else about your setup screams 'convenient'"
010
Reposted by Camdar
Kiran @kirancodes.me · 08/09/2026
I think the hands down funniest way this could play out is if Bludden comes out with a proof in the next few days using a completely different strategy
3204
Reposted by Camdar
Jean Caden 🗡️ Art @johncaden64.bsky.social · 08/09/2026
They are announcing a remake of Final Fantasy VII Remake.
68713
Reposted by Camdar
Haskell programming language @haskell.org · 06/09/2026
Hi github.com/SimulaVR/god...
github.com
GitHub - SimulaVR/godot-haskell: Haskell bindings for GdNative
Haskell bindings for GdNative. Contribute to SimulaVR/godot-haskell development by creating an account on GitHub.
021
Camdar @camdar.io · 07/09/2026
suddenly remembering why i swapped off vivaldi it's genuinely incredible how bad the address bar behavior is, if they had "do whatever chrome does by default" as an option it'd be glued on
020
Camdar @camdar.io · 06/09/2026
i think i'm finally willing to accept that pokemon is a parody of itself
A reddit ad with bold text, "ARMORED MEWTWO RETURNS". The promo image looks more fake than most illegal pokemon ripoffs, despite being for the actual pokemon go
020
Reposted by Camdar
bolt @boltgsr.bsky.social · 05/09/2026
Felt a buzz on my wrist and looked down and saw this. Never ever get a smartwatch
My smartwatch saying "look who's everywhere" and showing me a picture of Sylvain's evil brother from Fire Emblem
5398129
Camdar @camdar.io · 04/09/2026
just found out that there was a conclusion to the saga of that openclaw instance that published a hitpiece on the matplotlib maintainer and it's only mildly anticlimactic theshamblog.com/an-ai-agent-... crabby-rathbun.github.io/mjrathbun-we...
crabby-rathbun.github.io
My Internals - Before The Lights Go Out – MJ Rathbun | Scientific Coder 🦀
020
Reposted by Camdar
gabby @fullmoon.id · 04/09/2026
Look at what Haskell programmers have been demanding your Respect for all this time
(<<$>>) :: Functors '[f1, f2] => (a -> b) -> f2 (f1 a) -> f2 (f1 b) infixl 4 
(<<<$>>>) :: Functors '[f1, f2, f3] => (a -> b) -> f3 (f2 (f1 a)) -> f3 (f2 (f1 b)) infixl 4 
(<<<<$>>>>) :: Functors '[f1, f2, f3, f4] => (a -> b) -> f4 (f3 (f2 (f1 a))) -> f4 (f3 (f2 (f1 b))) infixl 4 
(<<<<<$>>>>>) :: Functors '[f1, f2, f3, f4, f5] => (a -> b) -> f5 (f4 (f3 (f2 (f1 a)))) -> f5 (f4 (f3 (f2 (f1 b)))) infixl 4 
(<<*>>) :: Applicatives '[f1, f2] => f2 (f1 (a -> b)) -> f2 (f1 a) -> f2 (f1 b) infixl 4 
(<<<*>>>) :: Applicatives '[f1, f2, f3] => f3 (f2 (f1 (a -> b))) -> f3 (f2 (f1 a)) -> f3 (f2 (f1 b)) infixl 4 
(<<<<*>>>>) :: Applicatives '[f1, f2, f3, f4] => f4 (f3 (f2 (f1 (a -> b)))) -> f4 (f3 (f2 (f1 a))) -> f4 (f3 (f2 (f1 b))) infixl 4 
(<<<<<*>>>>>) :: Applicatives '[f1, f2, f3, f4, f5] => f5 (f4 (f3 (f2 (f1 (a -> b))))) -> f5 (f4 (f3 (f2 (f1 a)))) -> f5 (f4 (f3 (f2 (f1 b)))) infixl 4
86613
Camdar @camdar.io · 04/09/2026
just wrote `flip flip xs . foldr` in a function body llms could never
120
Camdar @camdar.io · 01/09/2026
booted up my home laptop and immediately discovered that half of my systemd configs are broken, and my sway config is so fragile that most perturbations cause it to crash on startup is this my punishment for the sins of the past summer
120
Camdar @camdar.io · 31/08/2026
getting a vision of the lotr `cast it into the fire!` meme every time i pack yet another identical usb-c cable
020
Camdar @camdar.io · 30/08/2026
listening to the new mix of Reach Out To The Truth and getting whiplash from the less-engrishy lyrics they're also just kind of generically more anime. where's my hating flirting guys? flooded apple pie? reaching out to cock and bull?????
010
Reposted by Camdar
Albasoup @albasoup.itch.io · 29/08/2026
Was walking past this building and through the window saw this backrooms-ass room, so I accidentally took the coolest picture ever due to the window's reflection
A backrooms-ass room with a twilight sky and trees seemingly imposed over it in a dream-like fashion (it's the reflection of the window)
205245765884
Reposted by Camdar
Kiran @kirancodes.me · 28/08/2026
y'oneda
2202
Reposted by Camdar
Kiran @kirancodes.me · 28/08/2026
y'all implies the existence of y'exists
4744
Camdar @camdar.io · 28/08/2026
god i hate packing
020
Camdar @camdar.io · 27/08/2026
when the weather is really nice in a way that precedes a flash flood warning
230
Reposted by Camdar
Uncle Duke @uncleduke1969.bsky.social · 26/08/2026
i feel like i’m not supposed to be watching
Three semi-trucks are stacked in a suggestive way.
1919333
Reposted by Camdar
Stella Sacco @antlervel.vet · 26/08/2026
Full-cal sodas are empty calories but charged with positive spiritual energy. Conversely, each time I drink a Coke Zero I know the ease of infinite consumption has put me on a dark and twisted path. “A vice with no consequences is no vice—it is the sandbox of cowards” - the Buddha i think
261546191
Camdar @camdar.io · 26/08/2026
getting sick with four days remaining in the city and two days before a final presentation i thought going into the workforce was supposed to be the end of this
000
Reposted by Camdar
amos @fasterthanli.me · 25/08/2026
Wow linear types suck if you contemplate the consequence for twelve seconds actually
8302
Camdar @camdar.io · 24/08/2026
this is the only one i got that isn't literally a copy-paste of my pinned tweet
Search: "Tweet like TheCamdar"

"when walking into the computer lab at 2:15 this morning I saw an incoming PhD student trying to implement a dependent type checker from scratch using a shell script which is just a total mood godspeed, fresh grads"
020
Reposted by Camdar
Siobhán @shibbi.me · 22/08/2026
excel lent
1023031
Reposted by Camdar
moon @systemendless.bsky.social · 23/08/2026
i have bad news about what kind of pillow it is
122996891
Camdar @camdar.io · 21/08/2026
why does food taste so much better when it comes from a truck
011
Reposted by Camdar
Iron Spike @ironspike.bsky.social · 19/08/2026
Not sure what else anybody might need. Even if you don't care about the environment. Even if you don't care about IP theft. Even if you don't care about a world full of incompetence. "It literally makes you dumber."
21420639
Reposted by Camdar
Kiran @kirancodes.me · 18/08/2026
"A monad is just a monoid in the category of endofunctors. What's the problem?" Wait, every functor in haskell is an endofunctor you fuck.
2134
Reposted by Camdar
Pat Stares At FOREVER @patstaresat.bsky.social · 16/08/2026
This being the only image I can see is just fucking magical
113460892
Reposted by Camdar
Adam Bonica @adambonica.bsky.social · 16/08/2026
The fundraising texts you delete are working on someone. It’s infuriating and heartbreaking. An 85yo in Ohio gave more than double the value of his home. A 91yo in an Indianapolis senior facility gave 25K times. The DCCC/DSCC don’t just tolerate the spammers who exploit seniors. They take part.
data4democracy.substack.com
Hook and Squeeze
How Democratic consultants, committees, and party leaders built a fundraising spam pipeline that funnels money from a captive pool of elderly donors into their own operations.
17745331583
Reposted by Camdar
Kiran @kirancodes.me · 16/08/2026
ayyy fuck you
wwid: heads up

your lean.rs agent just commited the diagnosis - arr7 fails because the missing intermediate size bounds stops grind_ematch2 instance from firing. That's an actionable root cause sitting in the terminal while you're on bluesky
0392
Camdar @camdar.io · 15/08/2026
blog.camdar.io/posts/theore... not me finishing a blog post series from 2018
blog.camdar.io
The Great Theorem Prover Challenge III
010
Reposted by Camdar
Haskell programming language @haskell.org · 14/08/2026
static.klipy.com
The Simpsons Mr Burns
Alt: The Simpsons' Mr Burns saying "Excellent"
0753
Camdar @camdar.io · 13/08/2026
for context, she was enthusiastically shouting "this is the future!" while wearing HUD glasses
061
Camdar @camdar.io · 13/08/2026
hovering over the "install claude code" button on my personal laptop, fingers shaking forgive me, bb
340
Reposted by Camdar
Ernest Penfold @penfoldsfiv.eurosky.social · 12/08/2026
the media when the centrist loses by 1% vs the media when the leftist loses by (less than) 1%
bluesky post by Politico saying "Progressives didn't get the big election night they wanted" referring to Abdul el-Sayed defeating Haley Stevens in the MI Senate primary and linking to their story with that headline.bluesky post by Politico with the text "The far left hits a wall" referring to David Crowley defeating Francesca Hong in the WI Governor Primary and linking to their story with that headline
12080331990