santolucito
Follow
Rubén Ballester Bautista
rballeba
I do theorem proving at DL at Axiom Math. Also, I am a PhD student in Topological Deep Learning at Universitat de Barcelona
Universitat de Barcelona Spain
Sam Kouteili
SamKouteili
Computer Science PhD Student @ Yale.
Interested in automated reasoning and computer music.
New Haven
Seb Holzapfel
vk2seb
Passionate about open audio hardware and embedded systems.
apf.audio Heidelberg
Ethan Thomas
ethmth
Columbia University Computer Science graduate (October 2024) with research experience. Enthusiastic about Linux, Python/shell scripting, and web development.
Columbia University Winter Haven, FL
Lukas Eibensteiner
eibens
I'm a computer scientist and programmer living in Vienna. My passions are visualizations, music theory, and building fun things for the web.
Austria
Francisco Bernardo
frantic0
Research Associate @ Dyson School of Design Engineering, Augmented Instruments Lab
Imperial College London London, UK
Cmfw1341
Functional Programming Advocate @ WorksHub- helping the Functional Programming Community find jobs at tech-first companies utilizing the #FP Paradym
WorksHub, link to job board below NYC, NY
Hongce Zhang
zhanghongce
Princeton ECE Alumnus,
Assistant Professor @ HKUST(GZ)
Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
Vladimir Lopatin
madjestic
Haskell(762)
Houdini(216)
Maths(116)
Python(103)
Guerrilla-Games Amstedam
