Stories by craigstuntz
Abstract: "Type classes are an immensely popular and productive feature of Haskell. They have since been adopted in, and adapted to, numerous other languages, including theorem provers. This talk will show that type classes have a natural and efficient representation in .NET. This paves the way for ...
Random thought: lobste.rs should have a [naming-things] tag
There is also a [POPL version of this paper](http://www.cs.cmu.edu/~rwh/papers/iolambda/short.pdf), which is longer but has fewer illustrations.
Refinement types enrich a language's type system with logical predicates that circumscribe the set of values described by the type, thereby providing software developers a tunable knob with which to inform the type system about what invariants and correctness properties should be checked on their co...
A frequent programming pattern for small tasks, especially expressions, is to repeatedly evaluate the program on an input as its editing progresses. The Read-Eval-Print Loop (REPL) interaction model has been a successful model for this programming pattern. We present the new notion of Read-Eval-Synt...
by Pat Helland
This is an updated and abbreviated version of a paper by the same name first published in CIDR (Conference on Innovative Database Research) 2007.
Underlying issue in node.js buffers [has been open for three years](https://github.com/nodejs/node-v0.x-archive/issues/4525).
Practical Attacks Against BouncyCastle and Oracle JCE Elliptic Curve Implementations
(web-in-security.blogspot.com)