🈳
Worker
- Kanagawa, Japan
-
07:28
(UTC +09:00) - https://tokuchan3515.hatenablog.com/
- in/hiroki-tokunaga-9a9aa0242
- https://mixi.social/@toku_san
- https://keybase.io/toku_san/
- @_toku_san
Shiro Aoki
aokinoko2000
2nd-year master's student at The University of Electro-Communications
@lab-tang
Japan
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Mafuj Shikder
MafujShikder
((Open for freelance work))||. Java Devops◆ Spring Boot◆ Microservices ◆ Rest Api ◆ Spring Security ◆ Jsp ◆ Servlet ◆ J2SE◆ Android at @zoomstarit
https://twitter.com/MafujShikder https://www.threads.net/@mafujshikderofficial