Skip to content
View mio-19's full-sized avatar
😀
happy
😀
happy
108 followers · 145 following
  • Australian National Univerisity
  • Aotearoa New Zealand and Australia
  • 06:49 (UTC +12:00)

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@Akarin-project @cicada-lang @forked-by-mio

Block or report mio-19

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
@GreatGlobox
Steo GreatGlobox

Ireland

@BleuBleu
BleuBleu

Singapore

@joshcbrown
joshcbrown
@fabianmuehlboeck
fabianmuehlboeck
@JulienMalka
Luj JulienMalka
Software supply chain security researcher, NixOS enthusiast & contributor. Other interests: PL theory, software security, formal verification.

PhD Student at Télécom Paris // Freelancer Paris

@lundman
Jorgen Lundman lundman

GMO Internet Tokyo, Japan

@xyhhx
xyhhx xyhhx
@astro
Astro astro
Rust, Nix, Haskell, Erlang, XSLT, Prolog, JavaScript, C – roughly in that order

osdyne Dresden

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Postdoc @ UIUC Illinois, US

@Zlisch
Xin Zlisch
Bachelor of Advanced Computing (Honors, R&D)

Australian National University Canberra

@ralsei
Tulip Amalie ralsei

Philadelphia, PA

@Eveeifyeve
Eveeifyeve
Developer at @Opus-Client & CEO/Founder of @TeaClientMC

@TeaClientMC, @Cordevall, @Minecraft-essentials & @DigitalBrewStudios Australia

@Betterbird
Betterbird Betterbird
Betterbird is a fork of Mozilla Thunderbird. Simply better.

Betterbird Project Here, there and everywhere.

@Izumemori
Izumemori
PGP: 8915FC124CF78A58

Germany

@akm-04
AKM akm-04
@DemiMarie
Demi Marie Obenour DemiMarie
Software developer with an interest in security.

@QubesOS Farragut, TN

@fepitre
Frédéric Pierret fepitre
PhD in Applied Mathematics　　　 Member of @QubesOS project and @InvisibleThingsLab　　　　　　　　　　　　　 R&D in virtualization, kernel, and system-level security.

France

@ChocolateLoverRaj
Rajas Paranjpe ChocolateLoverRaj
I like Rust, Linux, Microcontrollers, and USB-C. I'm currently working on an Operating System in Rust.

Pleasanton, CA

@neoarz
neo neoarz
@som-snytt
som-snytt
@hiroki-repo
hiroki-repo
I will release programs under unlicense or like for avoid problems from traumatic experiences which I had chocked by an old friend due to ip rights problem
@adazem009
adazem009

Slovakia

@Hagb
Hagb (Junyu Guo 郭俊余) Hagb
Interested in and learning mathematical logic

Guangdong, China

@RenateUSB
Renate RenateUSB
@Splines
Splines Splines
Student of physics & computer science, love to code and learn new things (mainly related to computer science, math and physics) and produce and make music.

Uni Heidelberg, ex @SAP

@apangin
Andrei Pangin apangin
JVM hacker with HotSpot development background. Java Champion. Top #JVM answerer on Stack Overflow. Author of async-profiler.
@Friendseeker
Jerry Tan Friendseeker
UBC Math & Comp Sci | Contributor to sbt/sbt, sbt/zinc, scala/scala & Angular-ESLint. Member of @sbt organization.

Vancouver

@zhangmozhe
Bo Zhang zhangmozhe
Researcher

Microsoft Beijing

@NationalSecurityAgency
National Security Agency NationalSecurityAgency
Official organization account for the National Security Agency (NSA)

United States

@winterqt
Winter winterqt
Developer experience @antithesishq, @NixOS maintainer
@Biswa96
Biswapriyo Nath Biswa96
@jaywcjlove
小弟调调 jaywcjlove
Hi, I'm Kenny, Fullstack developer from Shanghai, China.

ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʔ-̫͡-ʔ Suzhou, China

@objective-see
Objective-See Foundation objective-see

Objective-See Foundation Hawaii, USA

@paperchalice
paperchalice

⊥/∅

@omentic
JJ omentic
I like all languages.

University of British Columbia Hisui

@joohyung-park
joohyung-park
@yuk7
yuk7 yuk7
Software Engineer | Nerd | Maker | Desire-driven | uwu

Japan

@JingMatrix
JingMatrix JingMatrix
PhD student in mathematics. I enjoy poems and philosophy.

Toulouse, France

@epfl-lara
EPFL-LARA epfl-lara
@thererealba
Ba thererealba
The world is not ours.

Earth

@vjackson725
V. Jackson vjackson725
Ph.D. student at the University of Melbourne. I mainly work on program verification.
@liamoc
Liam O'Connor liamoc
Senior Lecturer

Australian National University Canberra

@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

Chengdu

@lcabraja
Luka Čabraja lcabraja
Student @ Algebra University College

Croatia

@AdamCai0
Adam AdamCai0
I find my code hilarious, so I invite people over, read my code, and laugh together.

Kaukapakapa, New Zealand

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@snoglobe
snwy snoglobe
int main()
@Yoorkin
Yorkin Yoorkin
@DexerMatters
Dexer Matters DexerMatters
Write stuff