Skip to content
View olydis's full-sized avatar
🌲
Hacking on https://treecalcul.us/
🌲
Hacking on https://treecalcul.us/

Highlights

  • Pro

Block or report olydis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@dpkay
Dominik Kaeser dpkay
🇨🇭

@google New York City

@oxcaml
OxCaml oxcaml
OCaml - Oxidized!
@YAWNICK
Jannik Weiß YAWNICK

KIT Karlsruhe, Germany

@2swap
2swap 2swap
I like to learn stuff
@btwj
Bradley Teo btwj
CS @ CMU

Pittsburgh, PA

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@lambada-llc
Lambada LLC lambada-llc

United States of America

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@leezu
Leonard Lausen leezu
Applied Scientist at Amazon AI

Amazon Web Services New York City

@barry-jay-personal
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 Barry-Jay
Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.

Sydney, Australia

@mwlon
Martin mwlon
finding the most scenic hills to die on
@iyzhang
Irene Zhang iyzhang
Principal Researcher at Microsoft Research Redmond

Microsoft Research Seattle, WA

@squidfunk
Martin Donath squidfunk
After three days without programming, life becomes meaningless
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@jackcogdill
Jack Cogdill jackcogdill

@google United States

@feross
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

@lisroach
Lisa Roach lisroach

Facebook Portland, OR

@enkimute
Steven De Keninck enkimute
(programmer*) minimalist ≅ mathematical experimentalist
@timothyn617
Timothy Nguyen timothyn617
AI researcher, mathematician, physicist.

Google San Mateo, CA

@hediet
Henning Dieterichs hediet
Let's build the software of the future! Working on VS Code @microsoft.

Germany

@gpetiot
Guillaume Petiot gpetiot
Builder

United Kingdom

@lexfridman
Lex Fridman lexfridman
AI researcher working on autonomous vehicles, human-robot interaction, and machine learning at MIT and beyond.

MIT Cambridge, MA

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@arxanas
Waleed Khan arxanas
Working on scalable developer tooling.

@figma Seattle, WA

@ekarayel
Emin Karayel ekarayel

Karlsruhe, Germany

@trishume
Tristan Hume trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.

San Francisco

@carolemieux
Caroline Lemieux carolemieux

University of British Columbia

@SepehrAkhavan
Sepehr Akhavan SepehrAkhavan
Research Scientist

Meta Seattle, WA

@nimar
Nimar Arora nimar

Bayesian Logic, Inc.