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)

syxd
🫗

bipinbabu
Bipin Babu

ruderoze247

c10nu7
Corbu Ionut

melisa_elliptic

rdblatch

hugs4geo
Geo

gediminas
Gediminas Petrikas

beforan
Jonathan Couldridge

thatence1992
Maksym Symanski

bastos
Tiago Bastos da Silva

kasiaem13

engi_nerd
Darrell Paul

gliboc
Guillaume Duboc

ismaelrubert
Ismael Bolfe Rubert

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.