Interested in #haskell #dependenttype #dependenttypes #idris #idris2 #distributed #p2p #ocaml .Exploring fediverse.
I came here cuz I didn't like how algorythms of mainstream media worked.I do ̶b̶e̶l̶i̶e̶ know that better tech does help people & society.Mostly wanting to post about tech. But other occasional things may occur due hitposting condition.
Interesting posts (for you to read)https://aus.social/@pepper0/115810275707333950https://aus.social/@pepper0/115691719151924256