Elektrine lite

โ† Feed

gaytabase

dysfun@social.treehouse.systems

<p>Queer leftie anticapitalist sort currently in the netherlands; computers fear it.</p><p>I tend to infodump about the stuff I&#39;m working on, which at the minute is by surprising demand a dependently typed systems programming language called littlegem.</p><p>I really like a language you&#39;ve probably never heard of called idris that&#39;s quite different from most. I also write a lot of rust, c, zig and many other things.</p><p>i used to write fedi software.</p><p><a href="https://social.treehouse.systems/tags/nobot" class="mention hashtag" rel="tag">#<span>nobot</span></a> <a href="https://social.treehouse.systems/tags/noindex" class="mention hashtag" rel="tag">#<span>noindex</span></a></p>

Posts

  • Post #4202999

    You are adopting a new language in 2026. Where should it fall on the power/complexity scale

  • Post #4196910

    You are picking a new programming language in 2026, where are you running away from? That&#39;s you personally.

  • Post #1971131

    mozilla is now removing comments criticising the &amp;#39;ai help&amp;#39; https://github.com/mdn/yari/issues/9230

  • Post #1483843

    I&#39;m shipping code I can&#39;t explain gee, i wonder what this video i&#39;m not going to watch is about

  • Post #1483842

    tenerife implies the existence of elevenerife

  • Post #1483841

    suboptimal synergy in the sea, now

  • Post #1234519

    lol, if potential contributors are deterred by a ban on ai contributions, that&#39;s almost certainly a good thing, why the hell would you think otherwise?

  • Post #1134780

    bifurcating in two ๐Ÿ˜ฌ

  • Post #1109927

    my latest C project is dangerous, so i hope you&#39;ll understand my decision not to release it.

  • Post #1107939

    the socialist marxist communist woke rag known as the bbc has discovered pronouns that went extinct https://www.bbc.com/future/article/20260408-the-extinct-english-words-for-just-the-two-of-us

  • Post #1107938

    it takes like 30 seconds or so, but it feels like your whole life

  • Post #1107937

    watching more airline disasters. some of them are amazing, like everything goes wrong and then they pull off one of the best landings of their career.

  • Post #1107936

    the wikipedia page for st elmo&#39;s fire is a bit disappointing considering what a wild plasma phenomenon it is https://en.wikipedia.org/wiki/St._Elmo%27s_fire

  • Post #1107935

    Ladies and gentlemen, this is your captain speaking. We have a small problem. All four engines have stopped. We&#39;re doing our damnedest to get them going again. I trust you are not in too much distress well buddy, i wasn&#39;t til you said that over the tannoy ๐Ÿ˜‚

  • Post #979799

    petition to rebrand LLMs as &#39;mechanical bastards&#39;

  • Post #947524

    has anybody heard from @davidgerard today? i&#39;m really worried he might have laughed his ass off on the floor rolling to death.

  • Post #903986

    the first shitposter is believed to be marie antoinette. this of course quickly led to the first shitpost-related death as it was in particularly poor taste.

  • Post #852835

    if you think safety&#39;s expensive, try having an accident

  • Post #852834

    well i have been frightfully productive in terms of housework (displacement activity) while giving up smoking (~48h). i have written 0 code though.

  • Post #852833

    tfw your brain fills in the rest of the toot before you&#39;ve stopped reading. except your brain was wrong. your brain was funnier.

  • Post #852832

    oh yeah i have half a CI system from that time i was going to make a CI and then gave up because github actions happened and you can&#39;t compete with microsoft.

  • Post #852831

    okay apparently it&#39;s totally normal to feel like you&#39;ve got a chest infection when you give up smoking.

  • Post #852830

    i&#39;m still in pain. send pleasing distractions.

  • Post #820350

    own the libs by writing them yourself from scratch.

  • Post #724437

    RE: https://types.pl/@koronkebitch/116248000434747343 Real or Slop PL papers quiz This is hard. I just identified a logical inconsistency in a paper and used that as &#39;evidence&#39; to guess it was slop. So clearly it&#39;s difficult to detect slop papers with just a skim already. imagine you waste a few hours trying to review this shit... I got 6/10