Murat Kasimov

@chshersh.com

🧑‍💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.

@viercc.bsky.social

Twitter(X), GitHubなどにいるのと同一人物です openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6 興味: Haskell, 数学

@disconcision.com

https://andrewblinn.com abstractJuiceFactory

@hyperdoctrine.bsky.social

Mathematical logic and complaining

@brendanzab.bsky.social

World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab

@pcsofmath.bsky.social

Math enthusiast, studying the subject and blogging about it on: https://www.piecesofmathematics.com/

@patmoriarty.bsky.social

@kammadej.bsky.social

Programming languages, BI, SQL, data warehouse, Haskell, Qlik

@jalonso.bsky.social

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain