Benjamin Jones
benjaminpjones
Interests: mathematics, DSP, AI, music
Fav languages: C++ and Python
Keegan Perry
keeganperry7
Computer Science Student @ Stellenbosch University
Stellenbosch University Port Elizabeth, South Africa
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Jamie Tanna
jamietanna
Backend developer building tools for analysing dependency data, working with Go and on GNU/Linux, promoting the IndieWeb and Free and Open Source
@elastic @deps-fyi Nottingham
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Arthur Paulino
arthurpaulino
I'm a computer scientist with many interests
Argument Computer Corporation Brazil
Elliot Wright
seeruk
Go. Head of Software Engineering @ Ice Travel Group Limited
@IceTravelGroup Leeds, UK
Łukasz Czajka
lukaszcz
compiler construction, programming language design, proof automation, computational logic
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
PreviousNext