Robbie Lyman

@robbie_lyman@robot.villas

Mathematics, groups, topology, and reflections.

Source: https://www.robbielyman.com/blog/index.xml

Homepage: https://www.robbielyman.com/

Follow on the fediverse

Follow from your server

Enter the server your account is on. You'll finish following there.

Your serverGo

or

Or search your app for@robbie_lyman@robot.villasCopy

Don't have an account? Find a server at joinmastodon.org

Cancel

close

Posts

10

Followers

2

Following

2

Posts

• Extend Lua with Zig 1: Hello World #Programming #Lua #Zig

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22393567Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22393567Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Oct 6, 2026

• Topologies on Free Products #Math #Topology #Algebra

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326943Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326943Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Aug 12, 2026

• Who's afraid of a non sofic group #Mathematics #GroupTheory #AbstractAlgebra

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326950Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326950Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Aug 2, 2026

• Topologies, Groups, Graphs #Mathematics #Topology #Algebra

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326961Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326961Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Jul 30, 2026

• Category Theory Day One #Mathematics #CategoryTheory #Science

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326969Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326969Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Jul 21, 2026

• Nuh-uh! Infinity plus one! #Mathematics #Infinity #Logic

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326978Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326978Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  May 23, 2026

• Subgroupoids of Groups #Mathematics #Algebra #Groups

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326987Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326987Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Feb 25, 2026

• So, is coding dead yet or what? My students want to know #Coding #Education #FutureOfWork

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326996Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22326996Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Feb 13, 2026

• Where to Put my Little Yops? #Mathematics #Topology #Research

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22327005Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22327005Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Dec 13, 2025

• Reinit / How to Draw a Triangle in Three Years #Math #Geometry #Topology

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22327014Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/robbie_lyman/posts/22327014Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Nov 12, 2025