Here is a list of event, includes speaker session and other intermediate slots (e.g. lunch):
For ethereum, 2016 might be a tough year, the DAO has been stolen 3.6 million ETH, equivalent of $70 million at that time, due to improper contract design. As a result, more and more automatic verification tool for smart contract come out to prevent potentially huge financial loss.
Today, we will be looking at how formal verification tools work on smart contract, how can we use mathematical proof to ensure the quality of program.
As a great glue language, Python could (definitely) orchestrate many modern and powerful tools to build a scientific cluster. This talk will illustrate one of the real world examples, which is a cluster built and running on top of LXD/LXC/KVM/MaaS/public clouds so you may thus be a amateur CFD (computational fluid dynamics) or physics researcher.
The normal people who doesn't coding could promote Open Source projects or campaigns.We can do my best. People will know what is Open Source and its spirit by the public relation plan. Companies will know how to use Open Source upgrading their software by sponsor Open Source compaigns.
The EZIO Project proposes a reasonably efficient P2P soultion to deploy bare-metal operating system based on open source software technologies, such as libtorrent-rasterbar and CloneZilla. In this talk, we will discuss the difficult situation of bare-metal deployment in HPC or Cloud, and the performance, reliability and flexibility improvements on existing technologies, such as CloneZilla Multicast Mode.
EZIO has integrated in CloneZilla to provide 1-to-many bare-metal system provisioning on-the-fly, and tested successfully in HPC.
I will introduce to Rust, including the principles, the traits, and the current state of the Rust community. After that, I am going to talk about how to build a minimal DBMS from scratch - the StellarSQL project. In this talk, the following is covered. What is a DBMS? What is the architecture of the DBMS? What is the progress in developing the project? What are the existed resources in the community that I use for the developing? The speech would manifest that developing a small DBMS is fascinating and Rust is cool and powerful.
AI, or more precisely neural network-based machine learning, is getting popular on edge devices. In this talk I'll review TensorFlow Lite + Android NN, the most popular open source NN frameworks on Android, and share my experience of using some recently new features of TFLite, such as TFLite GPU delegate.
A smart flower atlas, built on open source image recognition systems,
powered by advanced Artificial Intelligence (AI) and Augmented Reality (AR) technologies.
We’ve done real-time identification mobile apps on iOS and Android,
without ever taking a picture. We continue to collaborate with
specialists to improve the system.
This project won 2018 g0v Civic Tech Grant. Landing page:
https://plant-tw.github.io
To build a wealth management application with open sources tools.
IoT is the tread of modern living. Every machine we work with, has the tenancy to get connected to the internet for centralized processing and functionality enhancement. System design and architecture, with evolvement of tool sets, has become an independent skill regardless of programming language. The author here presents the ROBI3 the ice-cream robot (which participants would experience it just below the conference venue) how she managed to link up the its QR code couponing with Gravity Form, one of the most popular plugin for WordPress with minimum coding.
Starting with Ansible installation, playing with CLI, writing Ansible Role with test on LXD, create Docker Image with Ansible Playbook and Roles, and managing a running Kubernetes with Ansible.