Checking Ruby Programs without Types / Introduction to Safecast
Fri, 25 Nov 2016 19:00 - 21:30
Registration for this event is closed.
19:00 〜 19:30 Doors open
Grab a drink and catch up with your fellow Rubyists.
19:30 〜 19:55 Checking Ruby Programs without Types Soutaro Matsumoto
Many popular program verification techniques take advantage of types, but unfortunately as of 2016, Ruby programs are untyped. Matz says Ruby3 will be typed, but we cannot wait another four years. In the meantime, I built a tool called Querly to check Ruby programs without using types. Querly syntactically checks Ruby programs against user defined rules, and emits warnings about potentially bad method calls. In this talk, I will introduce Querly, and explain how to use it to improve your workflow.
Soutaro writes programs in many languages including Ruby, Swift, Objective-C, OCaml, and Coq. He is interested in type systems and program analysis, and currently working for SideCI, a code review automation service. Querly is developed as a part of SideCI and is available as an open source project.
20:00 〜 20:25 Introduction to Safecast - open citizen science for the environment Benjamin Dubois
Safecast is an international, volunteer-centered organization devoted to open citizen science for the environment. After the devastating earthquake and tsunami which struck eastern Japan on March 11, 2011, and the subsequent meltdown of the Fukushima Daiichi Nuclear Power Plant, accurate and trustworthy radiation information was publicly unavailable.
This presentation will briefly summarize Safecast historical efforts and then describe Safecast's current architecture and Safecast API as powered by Ruby On Rails.
Benjamin is a programmer in Tokyo. His interests centers around low level/C programming and real world interactions with technology. He is currently developing a game engine with instruction-set like API gameplay language, a BSD socket based webserver, and a virtual assistant/bot.
20:30 〜 21:30 Open Networking
Discuss the presentations or anything else Ruby related with the other attendees.