João Parreira – Medium

João Parreira

João Parreira

Solving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checker

Last week I bumped into a Microsoft Research talk by Leslie Lamport, named “Thinking above the code”.

Jul 11, 2017

Solving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checker

Jul 11, 2017

João Parreira

Receiving AWS IoT messages in your browser using websockets

Along with AWS Lambda and the Realtime Messaging Platform

Nov 12, 2015

Receiving AWS IoT messages in your browser using websockets

Nov 12, 2015

João Parreira

The Realtime “why, how, where, who and when” in less than 5 minutes

Or how Theo Priestley made me stop and think about my product story

May 26, 2015

The Realtime “why, how, where, who and when” in less than 5 minutes

May 26, 2015

João Parreira

Scaling to 500 million monthly unique users

How Realtime is helping WebSpectator change digital advertisement

Apr 22, 2015

Scaling to 500 million monthly unique users

Apr 22, 2015

João Parreira

Integrating REST APIs with webhooks and Realtime Code Hosting

Receiving a Twilio SMS whenever someone comments in your Trello boards

Apr 2, 2015

Integrating REST APIs with webhooks and Realtime Code Hosting

Apr 2, 2015

João Parreira

Using atomic counters to resolve concurrency conflicts in Android game

Theory is good, but practice is a lot more fun

Dec 23, 2014

Using atomic counters to resolve concurrency conflicts in Android game

Dec 23, 2014

João Parreira

Concurrent mutual exclusive actions using atomic counters

A multi-player on-line game scenario

Dec 1, 2014

Concurrent mutual exclusive actions using atomic counters

Dec 1, 2014

João Parreira

Why Realtime uses Amazon DynamoDB

From a static web to a live web

Nov 29, 2014

Nov 29, 2014

João Parreira

João Parreira

Software Development Manager at Amazon. Husband, father, christian, passionate about highly-distributed systems and Fender Stratocasters.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams