We are working with the team behind the DataBox project to host an open-source community launch in Cambridge this spring.
The Databox Project is building an open-source personal networked device that mediates access to an individual’s personal data by verified and audited, locally-executable, third party applications and services. The platform is built using Docker containers, and should work on any platform with Docker support. The research team is hoping to provide support for ARM devices such as the Raspberry Pi 3 in this initial release, as well as x86 NUCs.
This event provides the opportunity for the team to introduce the Databox in its current form, where they also hope to engage with security & privacy enthusiasts, data visualisation & analytics fans, as well as potential app developers to begin building a community and ecosystem around the Databox.
Contributions of all kinds are welcome, for example: improvements to core components; integration with your favourite IoT devices, brainstorming which apps and devices you want to see supported by the Databox!
9:30-10:00 Registration, coffee and pastries
10:00 Welcome and Introduction to the Databox project
10:20 Introduction to the open source platform and components (Databox team)
11:00 SDK and Building an example app
11:30 Feature requirements discussions and BoF work groups
12:00 Development session I
13:00 Buffet Lunch
13:30 Development session I continued
14:30 Tea Break
14:45 BoF sessions II
15:00 Feature & App development session II
16:30 Group/individual presentations
18:30 Drinks and dinner
- Multicore OCaml ARM64 Backend
- Cambio, OCaml and Karaoke at the MirageOS Marrakech Hack Retreat 2017
- Using Menhir to Build Grammar Attributes
- OCaml 4.04.1 Released
- Parsing the Email Standard with TypeBeat
- An OCaml Backend for Agda with Malfunctional Programming
- Databox Open-Source Software Community Launch
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis