Doorkeeper

Checking Ruby Programs without Types / Introduction to Safecast

Fri, 25 Nov 2016 19:00 - 21:30 JST

RareJob

東京都渋谷区神宮前6-27-8 京セラ原宿ビル2F

Register

Registration is closed

Get invited to future events

¥1,000 prepaid
Drinks and a light meal will be provided

Description

Agenda

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.

Profile

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.

Profile

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.

About this community

Tokyo Rubyist Meetup

Tokyo Rubyist Meetup

Tokyo Rubyist Meetup (trbmeetup) is an event that seeks to help bridge the Japan and international ruby and ruby on rails community. It will hold regular meetings where Japanese Rubyists can commun...

Join community