Profile avatar
namper.bsky.social
researching math. writing code for living.
8 posts 7 followers 78 following
Posts 4 Comments 5

The c.e. equivalence relations are precisely the orbit equivalence relations induced by computable actions of computable groups. - Coskey et al.

submitted 198 days ago • 0 comments

Doggy.

submitted 211 days ago • 0 comments

An equivalence relation E is computable if and only if it is computably bireducible with one of =_n or =_N.

submitted 213 days ago • 1 comment

Muadib Timothee Chalamet as Paul Atreides. Dune fanart heavily inspired by a number of Dune book covers from the past. The movie was one of my fav sci-fi films of the last couple decades. So excited for part 2! #illustration #movies #book #sci-fi #fanart

submitted 579 days ago • 1 comment