Echo Nolan
I've been writing Haskell since ca 2005. Interested in language implementations, software verification, type theory and machine learning.
1
answer
0
questions
0
people reached
-
Portland, OR, United States
-
Member for 8 years, 4 months
-
0 profile views
-
Last seen Oct 22 '19 at 0:59
Communities (24)
Top network posts
- 15 How to split an array into chunks with jq?
- 12 (xs : Vect n elem) -> Vect (n * 2) elem
- 7 Why are there no functions for building Events out of non-events in reactive-banana?
- 6 How can I use generics to extract all values of a particular type?
- 6 How to write a simple HTTP server in Haskell using Network.HTTP.receiveHTTP
- 5 What invariants am I supposed to maintain when using Control.Wire.Unsafe.Event?
- 5 Is it possible to develop memory corruption exploits without access to the executable?
- View more network posts →
Top tags (2)
Score
4
Posts
1
Score
4
Posts
1
Badges (6)
Gold
—
Silver
4
Rarest
Bronze
2
Rarest
-
Jul 21 '16
-
Jun 16 '16