Programming and Reasoning with Algebraic Effects and Dependent Typescs.st-andrews.ac.uk·2 pts·stephenjudkins·0
Spire - Powerful new number types and numeric abstractions for Scalagithub.com·3 pts·stephenjudkins·0
Azul JVM Now Available For Developers of Open Source Applicationsazulsystems.com·25 pts·stephenjudkins·10
Address Validation Using the Google Maps API: A better way to enter addresses?telnet80.com·33 pts·stephenjudkins·10
PyPy: Wrapping C++ Libraries (and making them fast with JIT)morepypy.blogspot.com·1 pts·stephenjudkins·0
"Blackhole" interpreter in PyPy: new optimization in PyPy 1.3 morepypy.blogspot.com·30 pts·stephenjudkins·4
Norbert: a cluster manager and networking layer built on top of Zookeepergithub.com·1 pts·stephenjudkins·0