Users following idris-community
DeMarko Fulcher
demarkoLfulcher
Research Assistant in the AI - Theory Oriented Molecular Science Lab.
UMBC Baltimore, Maryland
Bruno Gavranović
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
Ali
deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Erlang, Standard ML, Scheme and Assembly
deadmarshal Iran, Karaj
Diego Rosario
GunpowderGuy
Peruvian computer science student with a liking for functional programming
Lima, Peru
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 @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai