Newest Stories by puffnfresh
Home
Recent
Comments
Search
Login
16
From Type Theory to Haskell in 10 Minutes
haskell
stackbuilders.com
via
puffnfresh
4 years ago
|
cached
|
1 comment
1
3
Just do It: Simple Monadic Equational Reasoning
pdf
haskell
cs.ox.ac.uk
via
puffnfresh
4 years ago
|
cached
|
no comments
0
2
Up-front Unit Testing in Haskell
haskell
github.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
15
Sum Types
programming
fpcomplete.com
via
puffnfresh
4 years ago
|
cached
|
3 comments
3
4
atsboot: tiny 32 bit kernel written in ATS
show
programming
github.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
3
Test your Javascript with QuickCheck
javascript
purescript.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
6
Implementing Reliable Linux Device Drivers in ATS
pdf
programming
ats-lang.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
6
Networked Pong in Idris
programming
simonjf.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
12
Model-view-controller, Haskell-style
haskell
haskellforall.com
via
puffnfresh
4 years ago
|
cached
|
1 comment
1
11
wreq: a Haskell web client library
haskell
serpentine.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
14
Idris: Type safe printf
show
video
youtu.be
via
puffnfresh
4 years ago
|
cached
|
6 comments
6
7
PureScript Javascript Interop
haskell
javascript
purescript.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
7
Preventing heartbleed bugs with safe programming languages
programming
security
bluishcoder.co.nz
via
puffnfresh
4 years ago
|
cached
|
no comments
0
5
Try Idris
show
programming
tryidris.org
via
puffnfresh
4 years ago
|
cached
|
1 comment
1
4
Better dictionary types
dotnet
haskell
bugsquash.blogspot.com
via
puffnfresh
4 years ago
|
cached
|
1 comment
1
3
A Monad in Practicality: Controlling Time
compsci
javascript
robotlolita.github.io
via
puffnfresh
4 years ago
|
cached
|
1 comment
1
18
Hy: Python as a Lisp
python
docs.hylang.org
via
puffnfresh
4 years ago
|
cached
|
3 comments
3
4
EvenOdd in Agda, Idris, Haskell, Scala
haskell
scala
brianmckenna.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
9
A Scala Corrections Library
☶
slides
scala
slideshare.net
via
puffnfresh
4 years ago
|
cached
|
3 comments
3
2
GHC type holes now on by default
haskell
github.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
4
Tidal – mini language for live coding pattern
☶
haskell
toplap.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
6
Docker powered online interactive tutorial service
release
io.livecode.ch
via
puffnfresh
4 years ago
|
cached
|
no comments
0
3
Imperative Reasoning is Hard
compsci
liamoc.net
via
puffnfresh
4 years ago
|
cached
|
no comments
0
4
Idris as a Library
☶
programming
brianmckenna.org
via
puffnfresh
4 years ago
|
cached
|
no comments
0
3
Google acquired Boston Dynamics
news
nytimes.com
via
puffnfresh
4 years ago
|
cached
|
no comments
0
<< Page 4
|
Page 6 >>