[Hi friends! For June we're going to try something a little different - two presenters talking about two different papers in a shorter format. I'm excited to see how it works! As usual, if you have a paper you love and would like to present at a future meetup, give me a shout! -d]
PayWord and MicroMint: Two simple micropayment schemes
This paper from 2001 written by Ronald Rivest and Adi Shamir (The R and S from RSA) is discussing how to design a micropayments scheme when making one of those was a popular idea. It uses relatively simple cryptography and some neat tricks in order to build systems that solve a complex problem.
Harley graduated from the University of California, Riverside and has been a developer for the past decade. They are interested in microservices, security, and free software.
Liquid Haskell is a type refinement framework which can be loosely described as a more rigorous and mathematical testing framework. It helps provide static guarantees that your code never gets into a "bad" state, giving you more freedom to write code.
Garrett is a Software Engineer specializing in Java based distributed systems. He is a Haskell coder on the side and has a passion for writing correct but fast code.
We strictly abide by the Code of Conduct (https://github.com/papers-we-love/papers-we-love/blob/master/CODE_OF_CONDUCT.md) set forth by all PWL charters.