Camdar
banner
camdar.io
Camdar
@camdar.io
phd student, pl person. i do cool things, occasionally.

Webmaster @ https://feuniverse.us

https://camdar.io
Reposted by Camdar
If you're following a 4-digit number of accounts, your model of social media use is emphatically Not For Me but I can also totally understand it. If you're following a 5+ digit number of accounts... It's just not gonna work out I'm afraid
November 24, 2025 at 3:28 AM
i just lost twenty minutes to TeX macros not being scope-safe

the fact that i'm writing a paper about metaprogramming hasn't been lost on me
November 23, 2025 at 4:35 AM
current mood: "how long would it take me to generate the LaTeX for these typing rules from the Agda and how many config rules would i need to make it look acceptable"

this is, of course, what i should be spending my time on when the deadline for this paper is on thursday
November 23, 2025 at 12:41 AM
the introduction of instant coffee to my pantry has arguably had worse consequences than my college freshman-era realization that i can just buy ice cream whenever i want
November 22, 2025 at 8:18 PM
Reposted by Camdar
on type safety
June 14, 2025 at 2:42 PM
there's a lot of ink being spilled about cloudflare's `.unwrap()` here, and it definitely is a bit of a code smell + smoking gun, but from reading the post-mortem it doesn't seem like "proper error handling" would have actually helped here 1/
November 20, 2025 at 12:16 AM
bringing this back
November 19, 2025 at 1:53 PM
i just saw the google sso provider for my university briefly redirect to `accounts.youtube` before eventually taking me to the actual resource I wanted
November 18, 2025 at 8:29 PM
i don't think i've ever been so frustrated as having to deal with the default vim latex indentation scheme

literally *nothing* i do can prevent it from randomly indenting and dedenting things as it pleases

not even -u NONE
November 18, 2025 at 7:55 PM
me needing to lookup how i used a tex package from college, except i don't have any of those git repos anymore and the cloudflare outage brought stackoverflow down with it
November 18, 2025 at 1:36 PM
Reposted by Camdar
C++ is for little worms
November 18, 2025 at 1:04 PM
Reposted by Camdar
I prefer the fantasy world version:
November 16, 2025 at 1:50 PM
Reposted by Camdar
November 12, 2025 at 9:33 PM
i've gone through like six cycles of "this is easy" to "wait this is doomed" in the past 24 hours

is this just what logical relations are like
November 12, 2025 at 9:56 PM
oh no
November 12, 2025 at 5:52 AM
that sinking feeling when my weakening lemma actually is not true
November 12, 2025 at 5:19 AM
the moment when, after refactoring the proof four times to avoid needing to deal with termination, I actually need to prove strong normalization anyway
November 11, 2025 at 4:57 AM
Reposted by Camdar
this is literally never not accurate
November 10, 2025 at 6:32 PM
Reposted by Camdar
today is Europe's 9/11
November 9, 2025 at 8:13 PM
i
November 9, 2025 at 7:07 PM
terrifying
November 9, 2025 at 4:46 AM
perhaps i'm more cooked than i thought

i just had the scariest nightmare i can remember in a while: bombing a technical interview
November 7, 2025 at 1:03 PM
Reposted by Camdar
If you're wondering how this will go Square Enix handed off their mobile Octopath game to NetEase who immediately started using ChatGPT to translate everything resulting in text like this. When players complained they started asking fans to fix their translations in exchange for in-game currency
November 6, 2025 at 8:06 PM
Reposted by Camdar
November 6, 2025 at 3:36 PM
Reposted by Camdar
The blue no matter who people, who spent years telling the left to enjoy the camps for telling them that transphobia and genocide are wildly unpopular election-losing positions, ended up voting for a sexual predator *not* running as a democrat who was endorsed by Trump, Musk, and Miller. Who lost.
November 5, 2025 at 6:59 AM