HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
Verification Excellence
VerificationExcellence
Comprehensive knowledge base for Functional Verification
Online
Davide Schiavone
davideschiavone
PostDoc at EPFL and Director of Eng. in the OpenHW Group. He received his Ph.D. from ETH Zurich.
EPFL, OpenHW Group Geneva
Piotr Migdał
stared
Looking for ambitious projects as a tech lead.
Data science: deep learning, data viz, quantum computing.
ex: Quantum Flytrap CTO & cofounder Warsaw, Poland
Derrick Stolee
derrickstolee
I used to be a mathematician in computational graph theory.
These days I work in developer tools.
Microsoft Raleigh, NC