Interested in #haskell #dependent_type #dependent_types #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/115810275707333950
https://aus.social/@pepper0/115691719151924256
This profile is from a federated server and may be incomplete. View on remote instance