Post by @ncf

EN

Modes

In reply to

@ncf@types.pl

PhD student at Chalmers interested in univalent foundations, category theory and music.

types.pl

@ncf@types.pl

PhD student at Chalmers interested in univalent foundations, category theory and music.

types.pl

@ncf@types.pl · Apr 13, 2026

@amy @Andrev what happened

0

Loading comments...

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion