João ParreiraSolving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checkerLast week I bumped into a Microsoft Research talk by Leslie Lamport, named “Thinking above the code”.Jul 11, 2017Jul 11, 2017
João ParreiraReceiving AWS IoT messages in your browser using websocketsAlong with AWS Lambda and the Realtime Messaging PlatformNov 12, 20156Nov 12, 20156
João ParreiraThe Realtime “why, how, where, who and when” in less than 5 minutesOr how Theo Priestley made me stop and think about my product storyMay 26, 2015May 26, 2015
João ParreiraScaling to 500 million monthly unique usersHow Realtime is helping WebSpectator change digital advertisementApr 22, 2015Apr 22, 2015
João ParreiraIntegrating REST APIs with webhooks and Realtime Code HostingReceiving a Twilio SMS whenever someone comments in your Trello boardsApr 2, 20152Apr 2, 20152
João ParreiraUsing atomic counters to resolve concurrency conflicts in Android gameTheory is good, but practice is a lot more funDec 23, 2014Dec 23, 2014
João ParreiraConcurrent mutual exclusive actions using atomic countersA multi-player on-line game scenarioDec 1, 2014Dec 1, 2014
João ParreiraWhy Realtime uses Amazon DynamoDBFrom a static web to a live webNov 29, 2014Nov 29, 2014