a thoughtful web.
comments
posts
badges
Good ideas and conversation. No ads, no tracking.
Login
or
Take a Tour
!
wildptr's posts
activity:
activity
·
time
Idris: A Dependently Typed Programming Language
0
wildptr
idris-lang.org
·
#idris
·
#idris.wildptr
·
#functional
On the Origins of You
rjw
16
wildptr
text
·
#askhubski
·
#
From Imperative to Functional: How to Make the Leap
0
wildptr
loup-vaillant.fr
·
#programming
Early look at the Ouya Developer Kit
0
wildptr
theverge.com
·
#android
How will hubski evolve?
Breh
7
wildptr
text
·
#askhubski
about
tutorial
faq
rss
tmi
random
privacy & terms
weather
donate
login