This video was recorded at Code Elixir LDN 18: http://bit.ly/2vxJuxL Get involved in Code Sync's next Elixir conference: http://bit.ly/2Mcm4aS --- INVARIANTS ARE EVERYTHING by Joseph Yiasemides THIS TALK IN THREE WORDS: Truth Intent Correctness TALK LEVEL: Intermediate ABSTRACT Property-Based Testing may well make it into the Elixir standard library. If and when it does are we ready to make the most of it? In this introductory talk Joseph will concentrate on how Property-Based Testing expresses intent, how to conceive of properties, and how this discipline helps to write correct software. Read the full abstract: http://bit.ly/2OVPg4k --- THE SPEAKER - JOSEPH YIASEMIDES Software engineer & trainer, RabbitMQ Trust Store contributor at Erlang Solutions Joseph is a software engineer and trainer at Erlang Solutions. He builds and tests servers in Elixir and Erlang on projects involving JSON/HTTP APIs, TURN/STUN, AMQP, and XMPP. Before moving to Elixir Joseph discovered OTP through his time working with Erlang. He wrote the initial Trust Store plugin, a TLS certificate whitelist, for Pivotal’s enterprise message broker RabbitMQ. In early 2017, along with a colleague, he initiated ​work on ​Erlang Solutions’ TURN/STUN server (written from scratch entirely in Elixir). More on Joseph Yiasemides: http://bit.ly/2OVPg4k --- CODE SYNC & CODE ELIXIR LDN 18 Website: www.codesync.global Twitter: www.twitter.com/CodeElixirIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global