Automated/neural theorem proving, RL. PhD student at Charles University.
Highlights
- Pro
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Richard Hladík
RichardHladik
Computer science student at ETH Zürich. Interested in algorithms, data structures and optimization.
ETH Zürich
Terence Parr
parrt
Tech lead at Google, ex-Professor of computer/data science, active contributor to open-source projects supporting developers. Creator of ANTLR parser generator.
San Francisco
Jiří Beneš
jiribenes
PhD student at @se-tuebingen.
Interested in effect and coeffect systems.
University of Tübingen, @se-tuebingen Tübingen, Germany
Jindřich Máca
macajind
Developer specializing in web technologies for whom programming is job, hobby and passion at the same time.
Make Prague