Caden
Programmer, PL researcher, linux user, and occasional embedded systems enthusiast. In a world of "artificial intelligence" I bring organic stupidity to the table. All opinions my own, etc.
Sometimes my brain feels like an HTTP server serving the same webpage over and over. People tell me I'm probably autistic
I spend most of my time with computers, but I'm still often told I'm "chronically offline"
Gender is a mess, feel free to use whichever she/he/they pronouns
I feel really bad for French people named Claude in today's age
Time to rewrite a slow Haskell dependency in C.
It's extremely intertwined with the existing codebase, so I can't really just rip out the whole thing and rewrite it. I have to incrementally refactor one piece at a time and keep a similar interface, which means lots of FFI use, so this'll be fun
GitHub has been basically unusable in the browser for me the last 3 days. CSS doesn't load, refreshing or going back randomly breaks/fixes pages, etc. I'm very thankful my work is mostly on GitLab, but looking at libraries on GitHub has become nearly impossible
If anyone ever tries to tell me programming isn't art I'm going to show them Duff's Device
Hard to believe I worked on improving the performance of a logic programming language before ever actually using one, but that day has finally come!
Prolog is lots of fun. It's also really nice how easy it makes it to play around with ASTs and type theory
I really need to hold myself back from implementing a Wayland VNC server. I know there's wayvnc, but it's been crashing lately on my remaining Hyprland PC, and it doesn't support KDE (yes I regularly use Sway, Hyprland, and KDE)
The RFB (VNC) protocol is ridiculously simple compared to something like HTTP. The hard part would really be interfacing with the various desktop environments. XDG portals makes that a little easier but I'm not sure how much.
I really don't have time for this right now but it's soooo tempting
Just saw Conan O'Brien randomly while on a walk in Boston
The fact that SWI-Prolog doesn't document things that are covered by the ISO standard would be understandable, however the fact that acquiring a copy of that standard costs 500 USD makes it incredibly annoying. I can't even find a solid grammar of even a full description of the types of comments that it supports beyond the fact that you can nest comments in SWI-Prolog and not in ISO