• Sign in
  • Sign up
Elektrine
EN
Log in Register
Modes
Overview Chat Timeline Communities Gallery Lists Friends Email Vault DNS VPN
Back to Timeline
  • Open on types.pl

Brendan Zab

@brendan@types.pl
mastodon 4.6.0-alpha.5+glitch

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

0 Followers
0 Following
Joined April 28, 2022
Github:
http://github.com/brendanzab
Bluesky:
https://bsky.app/profile/brendanzab.bsky.social
Instagram:
https://www.instagram.com/brendanzab/
Pronouns:
he/they

Posts

Open post
In reply to
brendan
Brendan Zab
@brendan@types.pl

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

types.pl
Brendan Zab
Brendan Zab
@brendan@types.pl

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

types.pl
@brendan@types.pl · Jun 30, 2025
@koronkebitch Thank you!
View full thread on types.pl
1
0
0
0
Open post
In reply to
brendan
Brendan Zab
@brendan@types.pl

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

types.pl
Brendan Zab
Brendan Zab
@brendan@types.pl

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

types.pl
@brendan@types.pl · Jun 29, 2025
@koronkebitch This sounds really cool - excited to see it when it comes out! 🤩
View full thread on types.pl
0
2
0
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 07:48:09 UTC