Cass Alexandru
cxandru@types.pl
<p>PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms<br /><a href="https://types.pl/tags/categorytheory" class="mention hashtag" rel="tag">#<span>categorytheory</span></a> <a href="https://types.pl/tags/agda" class="mention hashtag" rel="tag">#<span>agda</span></a> <a href="https://types.pl/tags/haskell" class="mention hashtag" rel="tag">#<span>haskell</span></a> <a href="https://types.pl/tags/nix" class="mention hashtag" rel="tag">#<span>nix</span></a> <a href="https://types.pl/tags/emacs" class="mention hashtag" rel="tag">#<span>emacs</span></a> Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities <a href="https://types.pl/tags/vegan" class="mention hashtag
Posts
-
Post #2669102
&gt; be me &gt; idea: Restaurant w board games, when you order you get a recommended game to play based on expected time to have your order ready &gt; business is booming &gt; one day manager comes to me says boss there&#39;s a problem &gt; me: what, is the concept not working? &gt; no, it is, but ... most recommended board game is Risk #shitpost
-
Post #2602800
vermeil: gold-covered silver verdant: green, as in plants vermillion: bright red 🤪
-
Post #2602799
self-OH: smalltt the size of a large TT #TYPES
-
Post #2538504
Our paper (with Thorsten Wißmann &amp; Henning Urbat) &quot;Intrinsically Correct Algorithms and Recursive Coalgebras&quot; has been accepted at PLDI&#39;26, and is out on arxiv! In this thread I will briefly explain its main idea. 1/8 https://arxiv.org/abs/2512.10748 https://pldi26.sigplan.org/details/pldi-2026-papers/66/Intrinsically-Correct-Algorithms-and-Recursive-Coalgebras
-
Post #2044538
Slides for my talk at #TYPES tomorrow are now up on my website (https://cxandru.ee/)