Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View psilospore's full-sized avatar
🍄
🍄
60 followers · 237 following
  • Acima
  • Burlington, Vermont
  • Codestin Search App @psilospore

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report psilospore

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@minoki
ARATA Mizuki minoki
a Haskell enthusiast, a GHC contributor, the author of LunarML

Japan

@CSU-TrustLab
CSU-TrustLab
@phheim
Philippe Heim phheim
I am a Ph.D. student in computer science in the area of formal methods. I focus on practical algorithms and tools for synthesizing infinite-state systems.

CISPA Helmholtz Center for Information Security Germany

@Stavan-Jain
Stavan-Jain
@yeonheeyeh
yyeonhee yeonheeyeh
@BlastWind
Andrew Chen BlastWind
一生二,二生三,三生万物
@aemartinez
Agustín Martinez Suñé aemartinez
Computer Science PhD. Formal methods and AI Safety.

University of Buenos Aires / CONICET Buenos Aires, Argentina.

@gok99
Gokul Rajiv gok99

Singapore

@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@sjunges
Sebastian Junges sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth

Radboud University Nijmegen

@mihaimaruseac
Mihai Maruseac mihaimaruseac
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Google San Francisco

@orrp
Orr Paradise orrp
🇨🇭 Postdoc @ EPFL AI Center      🐳 Theory @Project-CETI       🇯🇲 Lecturer @jamcoders
@hamana55
Makoto Hamana hamana55

Kyushu Institute of Technology

@rachaelchertok1
Rachael Chertok rachaelchertok1
Computer Science Masters Student at University of Vermont
@qwarden
Quimby Warden qwarden
@joshvera
Josh Vera joshvera
Worked at GitHub. I run a Tiki bar in East Village.

New York, NY

@stites
Sam Stites stites

@nuprl Boston, MA

@xrchz
Ramana Kumar xrchz

London

@machine-intelligence
MIRI machine-intelligence
Machine Intelligence Research Institute

Berkeley, CA

@evhub
Evan Hubinger evhub
Alignment Stress-Testing Team Lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.

Anthropic San Francisco, California

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@euanong
Euan Ong euanong
move slow and fix things

Oxford, UK

@JasonGross
Jason Gross JasonGross

Theorem San Francisco, California, United States

@thejaminator
James Chua thejaminator
Alignment Researcher

TruthfulAI

@ethanjperez
Ethan Perez ethanjperez
Research scientist at Anthropic working to reduce the risk of catastrophic outcomes from advanced machine learning systems
@quinn-dougherty
Quinn quinn-dougherty
Computer.

Berkeley

@gancherj
Joshua Gancher gancherj
Assistant Professor at Northeastern University
@gshen42
Gan Shen gshen42
@fgdorais
François G. Dorais fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

University of Vermont Burlington, Vermont, USA

@dylanbyars
Dylan Byars dylanbyars
Decide what to be and go be it.
@malikhijazi
Malik Hijazi malikhijazi
@jesyspa
Komi Golov jesyspa
Lecturer at JetBrains, teaching about PL topics and working on formal verification for Kotlin.

@JetBrains Utrecht, The Netherlands

@ranjitjhala
Ranjit Jhala ranjitjhala

University of California, San Diego San Diego, CA

@agda
Agda Github Community agda
@ArthurConmy
Arthur Conmy ArthurConmy
Personal account (I work at @google-deepmind)

London, UK

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@girving
Geoffrey Irving girving
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

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

@lukemaurer
Luke Maurer lukemaurer
Compiler hacker and CS researcher.

Jane Street London

@DIJamner
Dustin Jamner DIJamner
@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL

@UlfNorell
Ulf Norell UlfNorell
@simonpj
Simon Peyton Jones simonpj

Epic Games

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@tchoutri
Théophile Choutri de Tarlé tchoutri
Functional Programmer with a knack for resilient systems.

@scrive Montreuil, Paris

@TikhonJelvis
Tikhon Jelvis TikhonJelvis

Berkeley, California

@hendrycks
Dan Hendrycks hendrycks
PhD student at UC Berkeley.

Berkeley, California

@jamesbornholt
James Bornholt jamesbornholt
computerer

@aws Seattle

@haskell-actions
haskell-actions