Newest Stories by puffnfresh
Home
Recent
Comments
Search
Login
12
The Trouble with Typing Type as Type
math
liamoc.net
via
puffnfresh
2 years ago
|
cached
|
1 comment
1
10
The Theory of patches-vector
haskell
liamoc.net
via
puffnfresh
2 years ago
|
cached
|
7 comments
7
7
Why functional programming matters — Mary Sheeran & John Hughes
programming
felienne.com
via
puffnfresh
2 years ago
|
cached
|
2 comments
2
26
Type-Driven Development with Idris
book
manning.com
via
puffnfresh
2 years ago
|
cached
|
4 comments
4
8
User Interfaces with Optics
haskell
zrho.me
via
puffnfresh
2 years ago
|
cached
|
8 comments
8
4
What is a bug?
programming
pl-enthusiast.net
via
puffnfresh
2 years ago
|
cached
|
no comments
0
29
Why java.util.Optional is broken
java
developer.atlassian.com
via
puffnfresh
3 years ago
|
cached
|
2 comments
2
15
EXWM (Emacs X Window Manager) is a tiling X window manager for Emacs
emacs
github.com
via
puffnfresh
3 years ago
|
cached
|
1 comment
1
9
Optimising the PureScript Compiler
haskell
slamdata.com
via
puffnfresh
3 years ago
|
cached
|
1 comment
1
1
Announcing the Software Analysis Workbench
release
galois.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
9
Computability, Philip Wadler
video
compsci
youtube.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
11
Unison: a next-generation programming platform, currently in development
compilers
unisonweb.org
via
puffnfresh
3 years ago
|
cached
|
2 comments
2
3
Modularise CSS the React way
web
medium.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
4
A very first step towards fragment-based code distribution
haskell
haskellexists.blogspot.com
via
puffnfresh
3 years ago
|
cached
|
1 comment
1
3
λ● - Authenticated Data Structures, Generically
compilers
compsci
amiller.github.io
via
puffnfresh
3 years ago
|
cached
|
no comments
0
4
An Eq instance for non de Bruijn terms
haskell
blog.ezyang.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
22
QuickChecking non-Haskell Code
show
haskell
brianmckenna.org
via
puffnfresh
3 years ago
|
cached
|
2 comments
2
8
The complete correctness of sorting
☶
compsci
twanvl.nl
via
puffnfresh
3 years ago
|
cached
|
no comments
0
6
You Don’t Need $1MM for a Distributed System
distributed
medium.com
via
puffnfresh
3 years ago
|
cached
|
1 comment
1
9
Edward Kmett - Type Classes vs. the World
video
haskell
youtu.be
via
puffnfresh
3 years ago
|
cached
|
no comments
0
7
observational type theory (the motivation)
math
pigworker.wordpress.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
3
Proof in functions
programming
fewbutripe.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
40
Write You a Haskell
haskell
dev.stephendiehl.com
via
puffnfresh
3 years ago
|
cached
|
no comments
0
7
OS Technologies To Watch
devops
gfxmonk.net
via
puffnfresh
3 years ago
|
cached
|
no comments
0
5
libchop, tools & library for data backup and distributed storage
programming
nongnu.org
via
puffnfresh
3 years ago
|
cached
|
no comments
0
<< Page 2
|
Page 4 >>