Remote

christofsteel

@christofsteel@ruhr.social

mastodon 4.6.5

Software Engineer in Germany, former researcher. Interested in Type Theory, Abstract Mathematics, Open Source Software, Redistribution of Wealth and Combating Climate Change. (He/Him)
Developer of @syng@floss.social

131 Followers

308 Following

2 Posts

Joined April 27, 2022

Github:

https://github.com/christofsteel

Matrix:

@christofsteel:k-fortytwo.de

Pronouns:

He/Him

More Git:

https://git.k-fortytwo.de/christofsteel

Posts

christofsteel @christofsteel@ruhr.social · Apr 21, 2026

Replying to @xkcd@mastodon.com.br

@xkcd@mastodon.com.br 😱 but a cone in category theory is not a monad 😅

christofsteel @christofsteel@ruhr.social · Feb 24, 2026

Replying to @PavelASamsonov@mastodon.social

@PavelASamsonov@mastodon.social After the "OpenTorment" project changed their license from Apache2 to AGPL, the original author created the fork "LibreNexus". Most people recommend LibreNexus for tormenting, since OpenTorment ist pretty much unmaintained. But I heard great things about torment.rs, a recent Rust rewrite.

christofsteel

Posts

Remote instance