Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

gaytabase

@dysfun@social.treehouse.systems
mastodon 4.6.7+glitch-th
  • Open on social.treehouse.systems

Queer leftie anticapitalist sort currently in the netherlands; computers fear it.

I tend to infodump about the stuff I'm working on, which at the minute is by surprising demand a dependently typed systems programming language called littlegem.

I really like a language you've probably never heard of called idris that's quite different from most. I also write a lot of rust, c, zig and many other things.

i used to write fedi software.

#nobot #noindex

1511 Followers
371 Following
50 Posts
Joined April 06, 2022
more gay:
https://catcatnya.com/@bananas
pronouns:
he/they
location:
netherlands
support me:
https://ko-fi.com/dysfun
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@davidgerard@circumstances.run I’d rather be out sailing than working on rsync security issues, so I have reached for several AI tools to help with what needs to be done. I have absolutely no regrets about doing that you know tridge, i'd rather you were out sailing too.
80
17
12
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 1mo ago
i hate to rattle the donations tin, but we've got a fuckton of bills stacking up and still no work. please be generous cause we're pretty fucked :blobfoxheart:https://ko-fi.com/dysfun
ko-fi.com
4
0
17
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@davidgerard@circumstances.run i dunno man, it seems a little harder to justify how great AI is when you've just put out what was widely acknowledged even by slop coddists as one of the most disastrous software releases of all time with its help.
38
12
4
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@0xabad1dea@infosec.exchange obviously we'll all be charitable, given how much reason they've given us to trust them recently.
22
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 3mo ago
Replying to
@davidgerard@circumstances.run nuance is when i say something unpopular
11
0
4
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@davidgerard@circumstances.run i heard (though haven't seen) that fedora wouldn't take the update and they are all in.
13
5
1
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@davidgerard@circumstances.run you have to find a source for your credibility, i am shitposting either way
12
0
1
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@whitequark@social.treehouse.systems trick question, there are no ai-free jobs anymore.
9
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 2mo ago
You are adopting a new language in 2026. Where should it fall on the power/complexity scale

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

2
12
4
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 2mo ago
You are picking a new programming language in 2026, where are you running away from? That's you personally.

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

2
2
5
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@dpk@chaos.social @whitequark@social.treehouse.systems no i'm a millenial, you can tell us because we eat avocado toasts and can't afford shoes
4
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@icing @ariadne @davidgerard steady on, you're at risk of becoming a thot leader
4
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 3mo ago
Replying to
@0xabad1dea@infosec.exchange international dog of mystery
2
0
1
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@mgorny@social.treehouse.systems i always thought gentoo was about customisation. it being zomg fast might be nice but it's only true if you never have to build anything, which was certainly not true when i was using it, though i can't speak about binary mirrors these days.
3
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@whitequark@social.treehouse.systems this isn't fair, we're supposed to have passed the buck to gen z by now
3
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@davidgerard do they? if they do it clearly happens rarely. but i'm not sure that's unexpected when one end is almost permanently down.
3
4
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@davidgerard@circumstances.run what a sexter
2
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@ariadne @davidgerard consuming 1000x more tokens than code reasoning and code chat LOL, LMAO, those were already expensive enough.
3
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 3mo ago
Replying to
@davidgerard@circumstances.run you can't pin ecosia on plants vs zombies - it's not their fault
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 3mo ago
Replying to
@davidgerard@circumstances.run honestly david it's like you don't understand basic economics. the eggs are golden, the goose is not even valued.
1
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@davidgerard@circumstances.run aww, sure would be a shame if it fell apart before they could make bank
2
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@geofflangdale@mastodon.social @regehr@mastodon.social REPNE SCASD
2
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@gsuberland to avoid some current sensing resistors. on a card measured in the grands.
2
15
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@deech yes but don't expect anyone else to understand - most people still can't get the hang of tomato being a fruit
2
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@rntz@recurse.social had a quick scan and it looks very cool.
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@ricci@discuss.systems now i am no expert but i wouldn't have thought salt water would be the best thing for cooling computers
1
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@fanf@mendeddrum.org @joe@f.duriansoftware.com @zwarich@hachyderm.io rust: sort of. ultimately it has to track which locals are stored and it has to all be sized, but of course async is rewritten to effectively an enum of states and the polling logic still can use the stack.
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@davidgerard@circumstances.run /cc @agatha@gts.snkrgirl.cfd
1
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@icing@chaos.social responsible disclosure is auld hat, we do dicksclosure now, where everyone has to think fast.
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@gabrielesvelto yep, gayness is the latest weapon against LLMs
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@ariadne@social.treehouse.systems fucked up, but hell, clearly you're doing something right.
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@ecavallo @jhoefer i wonder what implications this has for efficient implementation of univalent type theories in theorem provers?
1
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@gsuberland no we're at the every board partner doing their own shit fucking not really a workaround for it stage.
1
17
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@edwinb it's wiser than that, it also tells us of de bruijn levels
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@thephd :blobfoxheart:
1
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@0xabad1dea oh you know what? i just remembered that movie 'beethoven' about the dog and.... there should be an odin movie.
1
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@gabrielesvelto@mas.to david noticed that the hit was less if they blamed it on AI, but there was still a hit. OTOH it was like 2% vs 8% or something like that. this is unreal.
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@joe@f.duriansoftware.com formatting your microblogs with groff
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@tj what i have never understood is why they consider the scroll bar as part of the design rather than the window framing
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@joe@f.duriansoftware.com yeah well i'd like to see it integrate this infinite loop
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@jsbarretto i uh... well that's something.
0
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@david_chisnall@infosec.exchange who needs to anymore when we can just phone it in?
0
0
1
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@soph wow, incredible
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@thephd very cool. is it going to happen to iso c?
0
2
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@noodle@aus.social this machine has been alpine for 7 years and it's still going. if you're using it as a desktop, i don't think you need to rebuild when something goes wrong, because the sorts of things that go wrong should be easy to repair.
0
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@mc it's also better when noone else is using it
0
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@pdcawley@mendeddrum.org i'm surprised your uncle would be so bad at teaching
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 5mo ago
Replying to
@0xabad1dea imagine keeping an unusually honest and thorough diary about your crimes
0
1
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 4mo ago
Replying to
@joe@f.duriansoftware.com yeah well i'm training an llm to pile of poo emoji
0
0
0
0
Open post
gaytabase @dysfun@social.treehouse.systems
· 3mo ago
Replying to
@0xabad1dea@infosec.exchange he hasn't, but it's hard to be mad with him
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 05:12:47 UTC