Start! ATS programming

Start! ATS programmingStart! ATS programmingStart! ATS programmingStart! ATS programmingStart! ATS programming

Kiwamu Okabe @ Metasepi ProjectKiwamu Okabe @ Metasepi ProjectKiwamu Okabe @ Metasepi ProjectKiwamu Okabe @ Metasepi ProjectKiwamu Okabe @ Metasepi Project

Who am I?Who am I?Who am I?Who am I?Who am I?

☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/

☆ Self employed software engineer☆ Self employed software engineer☆ Self employed software engineer☆ Self employed software engineer☆ Self employed software engineer

☆ Trade name := METASEPI DESIGN☆ Trade name := METASEPI DESIGN☆ Trade name := METASEPI DESIGN☆ Trade name := METASEPI DESIGN☆ Trade name := METASEPI DESIGN

☆ Founder of Metasepi Project☆ Founder of Metasepi Project☆ Founder of Metasepi Project☆ Founder of Metasepi Project☆ Founder of Metasepi Project

☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer

☆ 10 years' experience in developing OS using NetBSD☆ 10 years' experience in developing OS using NetBSD☆ 10 years' experience in developing OS using NetBSD☆ 10 years' experience in developing OS using NetBSD☆ 10 years' experience in developing OS using NetBSD

Remember Heartbleed bug?Remember Heartbleed bug?Remember Heartbleed bug?Remember Heartbleed bug?Remember Heartbleed bug?

Should we use safer language than C?Should we use safer language than C?Should we use safer language than C?Should we use safer language than C?Should we use safer language than C?== In English =="Preventing heartbleed bugs with safe programming languages"http://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bugs-with-safe-languages.html

== In Japanease =="安全なプログラミング言語を使って heartbleed を防ぐには"https://github.com/jats-ug/translate/blob/master/Web/bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bugs-with-safe-languages.md

== In English =="Preventing heartbleed bugs with safe programming languages"http://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bugs-with-safe-languages.html

"A safer systems programming language could have prevented the bug.""A safer systems programming language could have prevented the bug.""A safer systems programming language could have prevented the bug.""A safer systems programming language could have prevented the bug.""A safer systems programming language could have prevented the bug."

Want the safer language...Want the safer language...Want the safer language...Want the safer language...Want the safer language...

It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !It's the ATS http://www.ats-lang.org/ !

☆ Syntax like ML☆ Syntax like ML☆ Syntax like ML☆ Syntax like ML☆ Syntax like ML

☆ Dependent types☆ Dependent types☆ Dependent types☆ Dependent types☆ Dependent types

☆ Linear types☆ Linear types☆ Linear types☆ Linear types☆ Linear types

☆ Without any runtime☆ Without any runtime☆ Without any runtime☆ Without any runtime☆ Without any runtime

☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC

Demo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal ArduinoDemo on BareMetal Arduinohttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-atshttps://github.com/fpiot/arduino-mega2560-ats

Demo using RTOS threadsDemo using RTOS threadsDemo using RTOS threadsDemo using RTOS threadsDemo using RTOS threadshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-atshttps://github.com/fpiot/chibios-ats

Where ATS lives in?Where ATS lives in?Where ATS lives in?Where ATS lives in?Where ATS lives in?

Compile flowCompile flowCompile flowCompile flowCompile flow

BareMetal demo source code #1BareMetal demo source code #1BareMetal demo source code #1BareMetal demo source code #1BareMetal demo source code #1https://github.com/fpiot/arduino-mega2560-ats/blob/master/blink_ats/main.datshttps://github.com/fpiot/arduino-mega2560-ats/blob/master/blink_ats/main.datshttps://github.com/fpiot/arduino-mega2560-ats/blob/master/blink_ats/main.datshttps://github.com/fpiot/arduino-mega2560-ats/blob/master/blink_ats/main.datshttps://github.com/fpiot/arduino-mega2560-ats/blob/master/blink_ats/main.dats

BareMetal demo source code #2BareMetal demo source code #2BareMetal demo source code #2BareMetal demo source code #2BareMetal demo source code #2

Disseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to JapanDisseminate ATS to Japan

☆ Trying! Trying!☆ Trying! Trying!☆ Trying! Trying!☆ Trying! Trying!☆ Trying! Trying!

Try1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User GroupTry1: Japan ATS User Group

http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/http://jats-ug.metasepi.org/

☆ In a parody of http://jaws-ug.jp/☆ In a parody of http://jaws-ug.jp/☆ In a parody of http://jaws-ug.jp/☆ In a parody of http://jaws-ug.jp/☆ In a parody of http://jaws-ug.jp/

☆ Translate ATS docs into Japanese☆ Translate ATS docs into Japanese☆ Translate ATS docs into Japanese☆ Translate ATS docs into Japanese☆ Translate ATS docs into Japanese

☆ Push the Facebook like button, now!☆ Push the Facebook like button, now!☆ Push the Facebook like button, now!☆ Push the Facebook like button, now!☆ Push the Facebook like button, now!

Try2: Functional IoTTry2: Functional IoTTry2: Functional IoTTry2: Functional IoTTry2: Functional IoT

http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/http://fpiot.metasepi.org/

☆ Wrestling mat languages fight on☆ Wrestling mat languages fight on☆ Wrestling mat languages fight on☆ Wrestling mat languages fight on☆ Wrestling mat languages fight on

☆ Functional programming on tiny chip☆ Functional programming on tiny chip☆ Functional programming on tiny chip☆ Functional programming on tiny chip☆ Functional programming on tiny chip

☆ Chip: AVR, MSP430, ARM Cortex-M☆ Chip: AVR, MSP430, ARM Cortex-M☆ Chip: AVR, MSP430, ARM Cortex-M☆ Chip: AVR, MSP430, ARM Cortex-M☆ Chip: AVR, MSP430, ARM Cortex-M

☆ Language: Ajhc, ATS, Rust☆ Language: Ajhc, ATS, Rust☆ Language: Ajhc, ATS, Rust☆ Language: Ajhc, ATS, Rust☆ Language: Ajhc, ATS, Rust

☆ Which language becomes the champion for system programming?☆ Which language becomes the champion for system programming?☆ Which language becomes the champion for system programming?☆ Which language becomes the champion for system programming?☆ Which language becomes the champion for system programming?

Follow me!Follow me!Follow me!Follow me!Follow me!

License of photos used on slideLicense of photos used on slideLicense of photos used on slideLicense of photos used on slideLicense of photos used on slide* Atmel AVR Butterfly (#4) | Flickr - Photo Sharing! https://www.flickr.com/photos/41894183508@N01/35437253/ Copyright: 2005 Bill Bradford / License: CC By 2.0* Dubai Wingsuit Flying Trip | Flickr - Photo Sharing! https://www.flickr.com/photos/picturecorrect/7623578306 Copyright: 2012 Richard Schneider / License: CC BY-NC 2.0* salve-a-terra--twitter_4251_1280x800 | Flickr - Photo Sharing! https://www.flickr.com/photos/daniloramosweb/3854330282 Copyright: 2005 Danilo Ramos / License: CC BY-SA 2.0* File:Heartbleed.svg - Wikimedia Commons http://commons.wikimedia.org/wiki/File:Heartbleed.svg Copyright: 2014 Leena Snidate, Codenomicon / License: CC0 1.0* Creative Commons BBB | Flickr - Photo Sharing! https://www.flickr.com/photos/steren/2732488224 Copyright: 2008 Steren Giannini / License: CC BY 2.0* Start Your Engines | Flickr - Photo Sharing! https://www.flickr.com/photos/markwalker/3749673425 Copyright: 2009 Mark Walker / License: CC BY-SA 2.0

* Atmel AVR Butterfly (#4) | Flickr - Photo Sharing! https://www.flickr.com/photos/41894183508@N01/35437253/ Copyright: 2005 Bill Bradford / License: CC By 2.0* Dubai Wingsuit Flying Trip | Flickr - Photo Sharing! https://www.flickr.com/photos/picturecorrect/7623578306 Copyright: 2012 Richard Schneider / License: CC BY-NC 2.0* salve-a-terra--twitter_4251_1280x800 | Flickr - Photo Sharing! https://www.flickr.com/photos/daniloramosweb/3854330282 Copyright: 2005 Danilo Ramos / License: CC BY-SA 2.0* File:Heartbleed.svg - Wikimedia Commons http://commons.wikimedia.org/wiki/File:Heartbleed.svg Copyright: 2014 Leena Snidate, Codenomicon / License: CC0 1.0* Creative Commons BBB | Flickr - Photo Sharing! https://www.flickr.com/photos/steren/2732488224 Copyright: 2008 Steren Giannini / License: CC BY 2.0* Start Your Engines | Flickr - Photo Sharing! https://www.flickr.com/photos/markwalker/3749673425 Copyright: 2009 Mark Walker / License: CC BY-SA 2.0

Start! ATS programming

Technology

ATS Programming

ARITECH ATS Full Programming Manual

Persistent Memory Quick Start Programming Tutorial - … · Persistent Memory Quick Start Programming Tutorial Andy Rudoff ... struct alien); POBJ_LAYOUT_TOID(pminvaders, ... Machine

Myra & Co. - Themyraandcompany.in/downloads/real_estate/ATS Triumph.pdf · 2018-12-03 · ATS ADVANTAGE, ATS PRELUDE, ATS ONE HAMLET, ATS KOCOON, ATS GOLF MEADOWS, a 300 acre township

2016 Cadillac ATS-V STANDARD EQUIPMENT · Free Flow RPO Code Ref. Only RPO Code Description 6AE69 RWD 6AE47 ATS-V Sedan 1SV ATS-V Coupe 1SV Keyless ignition, push button start S S

Setup and Programming Quick Start Guide

ANALYTIC PROGRAMMING WITH fMRI DATA: A QUICK-START …

Introduction to Programming in ATS

ats/NVIDIA_CUDA_Programming_Guide_2.3.pdf · CUDA Programming Guide Version 2.3 iii Table of Contents Chapter 1. Introduction

Advanced Object- Oriented Programming Programming Right from the Start with Visual Basic.NET 1/e 14

ATS Application for Registration Form - business.gov.au › - › media › Grants-and... · Web viewAn eligible start-up period for an ATS participant means the period that starts

A Functional Crash into ATS - The ATS Programming …ats-lang.sourceforge.net/DOCUMENT/ATS2FUNCRASH/PDF/main.pdf · This book consists of a set of lecture notes for a crash course

Beta Start Programming With F# Today

Test driven programming beginner quick start

Before You Start Programming

wealth-clinic.com€¦ · ATS One Hamlet ATS Village Greater Noida Authority Office DöÇCE Zeta A Ster School ATS Corporate Office ATS Picturesque Reprieves. ATS ATS Le Grandiose

5 Ver · ASST ATS BergamoOVESTOsp ATS BresciaGarda ATS Insubria ATS Val - Padana ATS Brianza S. Gerardo ATS Milano ATS Montagna ATS PaviaOsp ASL 301 - Bergamo ASL 302 - Brescia

ATS-PLC · 2016-11-28 · ATS-PLC _____ 3 SECTION 1: INTRODUCTION Setting up and programming the ATS-PLC is intuitive and easy. We encourage you to bench test the unit by CONNECTING

BDSM or start programming after Angular one

Cville ATS Cheat Sheet for NEW Athletes · 2019-06-04 · ATS Cheat Sheet for NEW Athletes Before you start, gather the following items ... Athletic Training - Physicals 1 University