跳到主要內容

HKOSCon 2019「COSCUP 特別軌」議程出爐

感謝大家對於 COSCUP 首次跨研討會合作如此支持,日前「HKOSCon 2019 『COSCUP 特別軌』」收到了不少稿件,經過與 HKOSCon 團隊討論後,我們選出了數個題目出征,所有講題都會以英文發表。

「COSCUP 特別軌」將於 HKOSCon 的第二天,也就是 2019/06/15 舉辦,相關票券事宜請緊盯 HKOSCon 官網。以下所有時間順序在大會前或有變動,以 HKOSCon 網站公佈為準。

以下是本次入選的講題、講者及內容:


10:00-10:30 Formal Verification on Smart Contract

(陳奕熹)

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.


10:40-11:10 DApp Game - Blockchain random number generation method and implementation

(Huang Shih Chin(Xixi))

When users realized that the "application on the ICO was more important than the "token", the virtual currency began to decline in June 2018, prompting users in the market to pay attention to the development of the tokens. The development of DApp began to expand. The DApp industry recorded a turnover of 33.6 billion RMB in 2018. Almost 90% of the turnover comes from DApp games.

Because DApp game is built on the blockchain, it greatly restricts the gameplay. Currently, the common DApp games are: playing cards and dice.

This topic will introduce the DApp Gaming random number generation method on the market and analyze its advantages and disadvantages. And lead the audience together to implement the simple "solidity" version.


11:20-11:50 Decentralized data marketplace based on Distributed Ledgers

(林京樺 (Jing-Hua Lin), 陳冠廷 (Kuan-Ting Chen))

The value of data is not a new thing, whether in business or in warfare.

Either the goal of precision marketing or the material collection for machine learning, their intentions can be shorten into one word: data, the oil in the digital era.

Not surprisingly, data storage and marketplace turn into new challenges.In this session, we'll introduce an innovative type of data marketplace platform with distributed legder technology (DLT) to transform data into profits with better trust basic.


12:10-12:40 (A Talk about OSS Communities in Taiwan)

We will have a short talk about the OSS communities in Taiwan. This talk will be presented by COSCUP staff and the topic and speaker is still TBC.


12:50-13:20 A muggle promote Open Source pathways. Take COSCUP sponsorship team for example.

(Ying-Hsin Hsu)

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 campaigns.


14:20-14:50 Plant Identification System with AI + AR

(Denken Chen, Wang Fumin, Nandalu)

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


15:00-15:30 Status-quo of TensorFlow Lite on

(Koan-Sin Tan)

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.


15:40-16:10 Build a minimal DBMS from scratch by Rust

(Liu, An-Chi)

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.


16:30-17:00 Decentralized Bare-Metal Operating System Provisioning

(Yu-Chiang Huang 黃宇強)

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.


17:10-17:40 Homemade scientific clusters

(Taihsiang Ho)

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.






留言

這個網誌中的熱門文章

【2020 COSCUP】Vue 作者尤雨溪分享 現場座無虛席

  【2020 COSCUP】Vue 作者尤雨溪分享 現場座無虛席 2020 COSCUP 第二天的重頭戲兼開場為主辦單位邀請到 Vue 作者—尤雨溪與現場會眾分享即將正式上線的 Vue 3 與個人開源心得。現場座無虛席並且與會眾問答的來回問答十分精彩,文中也邀請到台灣最大的 Vue 社群「Vue.js Taiwan 台灣」的 Kuro Hsu 做 Vue 的簡單懶人包。 COSCUP 第二天的開場為主辦單位邀請非常多次重量級來賓 Vue 作者尤雨溪(Evan You),而今年雖因為疫情關係,Evan 無法來到現場,但恰好搭配著 Vue 3 釋出的熱度,一早就湧進大量人潮。 目前 COSCUP 主辦單位已完整的將影片釋出到網路上囉!有興趣的網友們可點網址觀看:https://youtu.be/Z-i7VY-ez2Q COSCUP 工作人員也邀請到了台灣最大的 Vue 社群「Vue.js Taiwan 台灣」的 Kuro Hsu 為我們摘錄本次演講與 Vue 3 最精華與懶人包的內容(註:演講時間為 2020 年 8 月 2 日,可能與最新版本有不同,以最新釋出的版本消息為主唷!),若想討論 Vue 的技術與內容的話,也可以加入 「Vue.js Taiwan 台灣」 與他們一起討論喔!(社團連結: https://www.facebook.com/groups/vuejs.tw) --- 小編問題(一):7/18 release Vue 3(註:此為 Release Candidate、或稱 RC 版本,非正式版)和以往最大的改變(三個): Kuro 回答: Vue.js 以往版本 (v1、v2) 的核心底層是以 JavaScript 來開發,而型別檢測系統在 Vue 2 以來一直都有,底層是透過 Flow.js 來實作。 尤雨溪在演講中提及,首先是在近年的前端領域裡,使用 TypeScript 來開發的人越來越多, 而這點對 Vue 2.x 來說對 TS 的支援顯然是不足的;再來是 Flow.js 原本是 facebook 團隊開發用來作為檢查工具,並不是新的程式語言或超集語言, 而 Vue 3.0 底層改用 TypeScript 除了同樣能做到原本 Flow.js 的功能,並且在經過編輯器的整合 (如 VSCode) 甚至可以做到程式碼的即時檢查以及自動補完的提示

COSCUP x RubyConf Taiwan 2021 CfP is now open, submit your proposal before May 10th, 2021.

We have pleasure to work with RubyConf Taiwan to have a joint conference this year. We are looking for talks in several open-source related areas, please submit your proposal before May 10th, 2021. After the review process from the coordinators, we will publish the full programme in early June. 今年 COSCUP 我們很榮幸與 RubyConf Taiwan 合作舉辦聯合研討會,並且如往常,徵求各式各樣不同的 Open Source 相關稿件。請於 5 月 10 日前投稿,或可參考本頁下方各議程軌資訊。 Submit your proposal Important Dates Submission deadline: May 10th, 2021 (截稿時間) Full programme published: Early June (預定公佈時間) COSCUP 2021: July 31st - Aug 1 (with welcome party at July 30st night), at National Taiwan University of Science and Technology Tracks RubyConf Taiwan 2021 Chrome OS for Developer CLOUD NATIVE on Open Source Canal / 開源運河上的雲原生號 Let’s Read the Source Code / 帶您讀源碼 Enter the FLOSS World / 開源新手村 Open Source Chatbot 開放內容聯合軌 - OpenStreetMap 與 Wikidata PostgreSQL Bringing Open Source Software to Hardware System Software 鍵人谷:自我做鍵 From Beginner to Gopher 可能重要的 MySQL 三兩事 Aspe

COSCUP x RubyConfTW 2021 持續關注疫情變化,預計於 6/20 (日) 確認本次舉辦形式

COSCUP x RubyConfTW 2021 籌備團隊針對疫情召開應變會議,決議在 6/20 (日) 前仍保留實體+線上舉辦之籌備方案,預計於 6/20 (日) 確認是否更改為虛擬線上之舉辦形式。 再次感謝關注 COSCUP x RubyConfTW 2021 的朋友們,有任何想法或建議,也都誠摯歡迎您參與討論! COSCUP x RubyConfTW 2021: reaction of COVID-19 level 2 warning from CECC Taiwan On Jun 20 (Sun), we shall confirm the conference will be held physically or virtually. Comments and suggestions are very welcome. 🙇