gaytabase

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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

gaytabase

@dysfun@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