🌲
Hacking on https://treecalcul.us/
Trying to make developer tools suck less and hacking on tree calculus.
Interests: PL design, formal verification, automatic program repair, education.
- New York City, USA
- https://johannes-bader.com/
Highlights
- Pro
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
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
Barry Jay
barry-jay-personal
I've left the university to work on my book and explore other opportunities
self-employed Sydney, Australia
Barry Jay
Barry-Jay
Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.
Sydney, Australia
Irene Zhang
iyzhang
Principal Researcher at Microsoft Research Redmond
Microsoft Research Seattle, WA
Feross Aboukhadijeh
feross
• Founder + CEO of Socket (@SocketDev)
• Started @webtorrent and @standard
• 100+ open source packages on npm
• Stanford lecturer for Web Security
@SocketDev, @WebTorrent, @Standard Stanford, CA
Henning Dieterichs
hediet
Let's build the software of the future! Working on VS Code @microsoft.
Germany
Lex Fridman
lexfridman
AI researcher working on autonomous vehicles, human-robot interaction, and machine learning at MIT and beyond.
MIT Cambridge, MA
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
PreviousNext