Top New Best Ask Show Jobs

doublec

1,388 karma · joined September 11, 2008

submissions comments

Fun Factor Libraries

bluishcoder.co.nz·2 pts·doublec·

Capturing program invariants in ATS

bluishcoder.co.nz·3 pts·doublec·

Writing basic proofs in ATS

bluishcoder.co.nz·2 pts·doublec·

ZeroMe – Decentralized Microblogging on ZeroNet

bluishcoder.co.nz·79 pts·doublec·

Decentralized websites with ZeroNet

bluishcoder.co.nz·13 pts·doublec·

Using Freenet

bluishcoder.co.nz·128 pts·doublec·

"Notation as a Tool of Thought" by Kenneth Iverson (APL creator)

jsoftware.com·2 pts·doublec·

SVG In OpenType: A New Approach To SVG Fonts

robert.ocallahan.org·2 pts·doublec·

An introduction to using pointers safely in the ATS programming language

bluishcoder.co.nz·2 pts·doublec·

Cryptography and Security in Retroshare

retroshareteam.wordpress.com·4 pts·doublec·