Hoang Lan Le
nalgnaohel
Lifelong learner wanna try interesting things
VNU University of Engineering and Technology Hanoi
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy
William DeMeo
williamdemeo
I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
IO @input-output-hk Boulder, CO, USA
Lungoupao Khongsai
mlpao500
Lungoupao Khongsai
Director
Permanent Clicksure Affiliate Mail Marketing
United Khulmi Export Import Pvt Ltd Churachandpur, Manipur, India
Stefan Pavikevik
spavikevik
a monad is a monoid in the category of endofunctors, what's the problem?
Japan
Damian
noyzys
Electrician up to 1kV, Server-side Software Developer, passionate about purely functional programming, RE.
@nautchKafe Toruń, Poland
penguin_wwy
penguin-wwy
Compiler; Static Analysis; Love Kotlin;
Rust is the best great program :)
Shanghai
MathxH Chen
AlexiaChen
Money-Driven Learner. Ex-Blockchain Engineer. Ex-Cryptography Hobbyist.
中国电建-昆明勘探研究设计院 Kunming, China
PreviousNext