Camdar
@camdar.io
phd student, pl person. i do cool things, occasionally.
Webmaster @ https://feuniverse.us
https://camdar.io
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
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
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
the fact that i'm writing a paper about metaprogramming hasn't been lost on me
November 23, 2025 at 4:35 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
the fact that i'm writing a paper about metaprogramming hasn't been lost on me
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
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
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
this is, of course, what i should be spending my time on when the deadline for this paper is on thursday
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
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
Reposted by Camdar
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
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/
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 just saw the google sso provider for my university briefly redirect to `accounts.youtube` before eventually taking me to the actual resource I wanted
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
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
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
literally *nothing* i do can prevent it from randomly indenting and dedenting things as it pleases
not even -u NONE
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
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
Reposted by Camdar
C++ is for little worms
November 18, 2025 at 1:04 PM
C++ is for little worms
Reposted by Camdar
I prefer the fantasy world version:
November 16, 2025 at 1:50 PM
I prefer the fantasy world version:
Reposted by Camdar
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
is this just what logical relations are like
November 12, 2025 at 9:56 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
is this just what logical relations are like
![Termination checking failed for the following functions: [logical relations]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreial2yk2hgy7mjb4qfdtyelv33ic5yjjfifxzgp77425ocr4ashtmi@jpeg)
that sinking feeling when my weakening lemma actually is not true
November 12, 2025 at 5:19 AM
that sinking feeling when my weakening lemma actually is not true
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
the moment when, after refactoring the proof four times to avoid needing to deal with termination, I actually need to prove strong normalization anyway
Reposted by Camdar
this is literally never not accurate
November 10, 2025 at 6:32 PM
this is literally never not accurate
Reposted by Camdar
today is Europe's 9/11
November 9, 2025 at 8:13 PM
today is Europe's 9/11
![error: [UnsolvedConstraints]
Failed to solve the following constraints:
(Δ'' ⧺ Δ') ⧺ Δ = (Δ'' ⧺ Δ') ⧺ Δ](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreidskklmewpxn53g4qe7rcs33uji6weubuj2gs5pjxdpqoe67f6d3i@jpeg)
perhaps i'm more cooked than i thought
i just had the scariest nightmare i can remember in a while: bombing a technical interview
i just had the scariest nightmare i can remember in a while: bombing a technical interview
November 7, 2025 at 1:03 PM
perhaps i'm more cooked than i thought
i just had the scariest nightmare i can remember in a while: bombing a technical interview
i just had the scariest nightmare i can remember in a while: bombing a technical interview
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
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
Reposted by Camdar
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
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.