aspiwack (Arnaud Spiwack)

aspiwack

Arnaud Spiwack

Multi-classed Software Engineer/Constructive Mathematician My interests include: - Dependent Type Theory - Dependently Typed Programming - Functional Programming - Programming & Mathematical Foundations - Programming Language theory

Chat with aspiwackStart a chat
Your conversation will be end-to-end encrypted.

2 devices

aspiwack gist

Chat with aspiwackStart a chat
Your conversation will be end-to-end encrypted.

Following (0)

Followers (1)

mboes
Mathieu Boespflug

Browse others (15)

premxboss
Prem Sharma

arobertszegedi
Robert Szegedi

ts13sg

torvus
Torvus

marcepanx
Michu Drewniak

vovojuju

rasgriza
This Avatar Is Called Eric

c_k
Chris King

ramsyy
Shadia Ramsahye

walbe
Beata

ookamikun

eerooja
Eero

jmazoof
Jasmin Anaya

halaromasz
Halina Romaszkiewska

pakyanbak
Bredihina Arseniya

What the heck is Keybase?

Keybase is an open source app

Keybase comes with everything you need to manage your identity, create secure chats, and share files privately. It's free.

It's fun too.

Over 100,000 people have joined Keybase so far to prove their identities, and it's growing rapidly.