Tag Archives: security

OH005 – 33c3

 

This episode was recorded 2016-12-29 in Hamburg. We had a short chat with Ryan Taylor (@AdjyLeak), zooko (@zooko) and Meredith L Patterson (@maradydd) at 33c3.

In this short episode Zooko tells us a cute story of practical love letters hidden in blockchain transactions, Meredith highlights the importance of compilers in the world and Ryan mentions Alexandria library. It’s a bit of a teaser for the 2017, as some of it we will be covering in detail in 2017 on Oktahedron.

Recorded at Sendecentrum at Chaos Communication Congress with the guests: AdjyLeakMeredith L Patterson, Zooko and that TBA guest with a nice podcasting voice, who spoke very little. Hosted by Dirk Jaeckel  & Ksenya of Oktahedron.

Thanx to Tim Pritlove for recommending Sendecentrum, instead of dragging all our audio equipment all the way to the Congress from Berlin, thanx to Chistopher  who was so patient & helpful, and other guys at Sendecentrum . And a great big thanx to our wonderful sound guy in particular.

OH002 – Total Functional Programming

In this episode we are joined by Jack Pettersson.
We discuss computational models and how they relate to blockchains.
Do we want Turing-completeness, or is a weaker model more suitable?
Would a dumber (not a Turing complete) language would make smart contracts smarter (easily verifiable)? We talk about total functional languages and alternatives to accounts-based model. Should we look at the blockchain as a pure data store, possibly equipped with primitives such as map/reduce or similar?
Links: