8000 adhalanay / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View adhalanay's full-sized avatar
7 followers · 37 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report adhalanay

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
@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@thautwarm
Taine Zhao thautwarm
Casting a fireball.

China

@cnewstead
Clive Newstead cnewstead

Carnegie Mellon University Pittsburgh, PA

@kshyatt
Katharine Hyatt kshyatt

Flatiron Institute New York, NY

@ninjaaron
Aaron Christianson ninjaaron
spaghetti code artisan

American in Frankfurt

@ChrisRackauckas
Christopher Rackauckas ChrisRackauckas
Applied Mathematics Instructor at MIT, researching numerical differential equations and their applications to scientific machine learning (SciML)

Massachusetts Institute of Technology Cambridge, MA

@devmotion
David Widmann devmotion
Product engineer @PumasAI. Mathematician. Physician.

@PumasAI Uppsala, Sweden

@Bogdanp
Bogdan Popa Bogdanp

Cluj-Napoca, Romania

@sasa1977
Saša Jurić sasa1977

Very Big Things Zagreb, Croatia

@lokedhs
Elias Mårtenson lokedhs

DHS Developments Singapore

@andrejv
Andrej Vodopivec andrejv
@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@edwinb
Edwin Brady edwinb
@neitzke
Andrew Neitzke neitzke

Austin, TX

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

Jane Street UK

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@rachellevanger
Rachel Levanger rachellevanger
Topological data analysis (TDA), computational topology, persistent homology

New York, NY

@syl20bnr
Sylvain Benner syl20bnr
(づ｡◕‿‿◕｡)づ ♬♩♪·♫ ♬♩♪·♫♬♩

Tracel Technologies Quebec City, Canada

@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL

@abreslav
Andrey Breslav abreslav
I was in charge of creating the Kotlin programming language. Worked on it from the start (2010) till 2020 as the Language Designer and Project Lead

London, UK

@len
Luciano Notarfrancesco len

Phuket, Thailand

@loopspace
Loop Space loopspace

Oxford

@vitaut
Victor Zverovich vitaut
🤍❤️🤍 Carbon-based open sourcerer, author of {fmt}, C++20 std::format and C++23 std::print

Meta Laniakea Supercluster

@dimpase
Dima Pasechnik dimpase

Northwestern University Evanston, IL, USA

@rongarret
Ron Garret rongarret

None Silicon Valley

@gheber
Gerd Heber gheber

The HDF Group Champaign, IL

@maxlieblich
Max Lieblich maxlieblich

Seattle

@dannycalegari
Danny Calegari dannycalegari
@DanGrayson
Daniel R. Grayson DanGrayson
@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
@aisejohan
Aise Johan de Jong aisejohan

Columbia University, Department of Mathematics Room 523, MC 4405 2990 Broadway, New York, NY 10027

@kim-em
Kim Morrison kim-em

Canberra

0