Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2014-10-09 18:54
Fun and Frustration with Scala
posted by DanC at 2014-10-09 18:54 (+) tags:
 
make security properties of block cypher etc. evident in types
posted by DanC at 2014-10-09 18:39 (+) tags:
DanC: "All this type (encryptBlock : k -> Bits bitsPerBlock -> Bits bitsPerBlock) tells me is that the function goes from some number of bits to bits; it doesn't express any actual security properties"
 
Capability Security Advances: seL4, sandstorm, Rserve
posted by DanC at 2014-10-09 18:32 (+) tags:
 
Created by the Daily Chump bot. Hosted by PlanetRDF.