culturedsystems

770 karmajoined March 14, 2017On HN

http://cultured.systems https://twitter.com/culturedsystems

Recent submissions

An Introduction to Recursion Schemes blog.sumtypeofway.com
1culturedsystems2y1 comment
Design document on nullability and value types mail.openjdk.org
2culturedsystems2ydiscuss
Avoiding the soft delete anti-pattern cultured.systems
61culturedsystems2y55 comments
Predicate Functor Logic en.wikipedia.org
3culturedsystems2ydiscuss
If there's a concern, it's your concern cultured.systems
1culturedsystems3ydiscuss
Minecraft and NFTs minecraft.net
11culturedsystems4ydiscuss
A Critique of the Remote Procedure Call Paradigm (1988) [pdf]cs.vu.nl
19culturedsystems4y9 comments
Dependency injections frameworks are pure ideology cultured.systems
3culturedsystems4ydiscuss
I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper blog.computationalcomplexity.org
1culturedsystems5ydiscuss
JEP 405: Record Patterns and Array Patterns (Preview)openjdk.java.net
3culturedsystems5ydiscuss
Haskell In New Clothes github.com/serras
121culturedsystems6y127 comments
Why is Idris 2 so much faster than Idris 1?type-driven.org.uk
282culturedsystems6y81 comments

All submissions and comments on Hacker News.