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
![Termination checking failed for the following functions: [logical relations]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreial2yk2hgy7mjb4qfdtyelv33ic5yjjfifxzgp77425ocr4ashtmi@jpeg)
![error: [UnsolvedConstraints]
Failed to solve the following constraints:
(Δ'' ⧺ Δ') ⧺ Δ = (Δ'' ⧺ Δ') ⧺ Δ](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreidskklmewpxn53g4qe7rcs33uji6weubuj2gs5pjxdpqoe67f6d3i@jpeg)
after god knows how long of telling me that my account is about to be deleted, it's refreshing to see photobucket take a new approach
November 3, 2025 at 4:48 PM
after god knows how long of telling me that my account is about to be deleted, it's refreshing to see photobucket take a new approach
git blame says i wrote this in april 2023
![[a bunch of text talking about how this uses a complicated technique]
For more information on [technique], check out this blog post:
(TODO: write blog post)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreic65mv3ypiwqeztdjqwzx6def3oep3ahnd5pk2nwkklhg6zd2pfxa@jpeg)
October 17, 2025 at 11:22 PM
git blame says i wrote this in april 2023
so i'm cleaning out my closet and found an unopened package from 3+ years ago and
September 1, 2025 at 5:10 PM
so i'm cleaning out my closet and found an unopened package from 3+ years ago and
omg it's the arch linux wine
August 3, 2025 at 12:43 AM
omg it's the arch linux wine
this one's for anyone who might wonder how much janestreet still affects my workflow preferences, three years later
July 8, 2025 at 2:59 AM
this one's for anyone who might wonder how much janestreet still affects my workflow preferences, three years later
this might be the most unhinged headline i've gotten in a while
May 18, 2025 at 1:46 AM
this might be the most unhinged headline i've gotten in a while
"you don't need proper sum types if you have sealed inheritance"
March 12, 2025 at 6:21 PM
"you don't need proper sum types if you have sealed inheritance"
overseen in some codebase i was looking through
February 16, 2025 at 2:04 PM
overseen in some codebase i was looking through
i will never get over the alienation i felt when this was the entire "Proof" section of this theorem
![A proof of a weaker result is given in one of the lectures of [Professor]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4pa4blot66yc7jqe7fnx5bmx/bafkreia5wd4sjbmascd4nuhdwjeodiorfukbxxciuptrvn7ijjqpcpx2au@jpeg)
November 22, 2024 at 3:16 AM
i will never get over the alienation i felt when this was the entire "Proof" section of this theorem