Elektrine lite

← Feed

Caden

tarix29@tech.lgbt

<p>Programmer, PL researcher, linux (#NixOS) user, and embedded systems enthusiast. In a world of &quot;artificial intelligence&quot; I bring organic stupidity to the table. All opinions my own, blah blah blah</p><p>Sometimes my brain feels like an HTTP server serving the same webpage over and over. People tell me I&#39;m probably autistic</p><p>I spend most of my time with computers, but I&#39;m still often told I&#39;m &quot;chronically offline&quot;</p><p>Proudly raised in Minnesota, now in Boston</p><p>Gender is a mess, feel free to use whichever she/he/they pronouns</p><p><a href="https://tech.lgbt/tags/NoAI" class="mention hashtag" rel="tag">#<span>NoAI</span></a> <a href="https://tech.lgbt/tags/NoIndex" class="mention hashtag" rel="tag">#<span>NoIndex</span></a> <a href="https://tec

Posts

  • Post #4302755

    Time to rewrite a slow Haskell dependency in C. It&#39;s extremely intertwined with the existing codebase, so I can&#39;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&#39;ll be fun

  • Post #4302754

    I feel really bad for French people named Claude in today&#39;s age

  • Post #4302753

    From a Blender Bottle

  • Post #4302752

    I better sell the RAM I&#39;ve been holding onto since 2024

  • Post #4116537

    Weekend project: make a tool to generate pixel art from 3d models/bone animations, like how Dead Cells did their animations I&#39;m doing this in Odin and raylib right now, neither of which I&#39;ve used before

  • Post #3163882

    GitHub has been basically unusable in the browser for me the last 3 days. CSS doesn&#39;t load, refreshing or going back randomly breaks/fixes pages, etc. I&#39;m very thankful my work is mostly on GitLab, but looking at libraries on GitHub has become nearly impossible

  • Post #3163881

    I really need to hold myself back from implementing a Wayland VNC server. I know there&#39;s wayvnc, but it&#39;s been crashing lately on my remaining Hyprland PC, and it doesn&#39;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&#39;m not sure how much. I really don&#39;t have tim...

  • Post #3079743

    If anyone ever tries to tell me programming isn&#39;t art I&#39;m going to show them Duff&#39;s Device

  • Post #3079742

    Tuna fans when threena walks in: :scaredycat:

  • Post #2266762

    The fact that SWI-Prolog doesn&#39;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&#39;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

  • Post #1912696

    Just saw Conan O&#39;Brien randomly while on a walk in Boston

  • Post #1912695

    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&#39;s also really nice how easy it makes it to play around with ASTs and type theory