Remote

Cass Alexandru

@cxandru@types.pl

mastodon 4.7.0-alpha.2+glitch

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

216 Followers

181 Following

17 Posts

Joined November 27, 2022

Pronouns:

they/them

Personal Site:

https://cxandru.ee

Posts

Cass Alexandru @cxandru@types.pl · Jul 14, 2026

Replying to @mc@mathstodon.xyz

@mc@mathstodon.xyz @JacquesC2@types.pl

Cass Alexandru @cxandru@types.pl · May 16, 2026

> be me
> idea: Restaurant w board games, when you order you get a recommended game to play based on expected time to have your order ready
> business is booming
> one day manager comes to me says boss there's a problem
> me: what, is the concept not working?
> no, it is, but ... most recommended board game is Risk
#shitpost

Cass Alexandru @cxandru@types.pl · May 05, 2026

Slides for my talk at #TYPES tomorrow are now up on my website (https://cxandru.ee/)

Cass Alexandru @cxandru@types.pl · May 04, 2026

self-OH: smalltt the size of a large TT #TYPES

Cass Alexandru @cxandru@types.pl · May 02, 2026

vermeil: gold-covered silver
verdant: green, as in plants
vermillion: bright red
🤪

Cass Alexandru @cxandru@types.pl · Apr 30, 2026

Replying to @jonmsterling@mathstodon.xyz

@jonmsterling Nix: same exact versions of your dependencies on everyone's machines and CI and possible docker image artefacts. Given previous posts I've seen on here of people not having the same latex environments as their coauthors, I don't understand the aversion to learning a genuinely useful technology, especially since, if properly set up, only one person on the team needs to deeply understand it

Cass Alexandru @cxandru@types.pl · Apr 30, 2026

Replying to @maxsnew@types.pl

@maxsnew Congrats!!

Cass Alexandru @cxandru@types.pl · Apr 13, 2026

Replying to @Taneb@hacksrus.xyz

@Taneb@hacksrus.xyz Only reason really is bc one of the applications is sorting with the Finite Multiset QIT as Index. The translation to stdlib of IntrinsicallyRecursiveCoalgs is entirely straightforward, I'm considering releasing a version that works for stdlib though idk what best practices are if one wanta to avoid code duplication …

Cass Alexandru @cxandru@types.pl · Apr 13, 2026

Replying to @6d03@mathstodon.xyz

@6d03@mathstodon.xyz Thank you! lmk if you have any questions^^