Togglの記録をServerless + Pixelaで草化

作業時間などの時間管理ツールとしてTogglがある いつ,どの作業をしたかを記録 各作業をプロジェクトやタグで分類可能 Toggl Reportsで可視化も提供されており,特定の作業をどれくらい継続しているか,どのくらい時...

CAV 2018でのAWS招待講演のまとめ

Formal Reasoning About the Security of Amazon Web Services 形式手法に関するトップカンファレンスであるCAV 2018にて,AWSから講演(Invited Paperの発表)...

Garmin connectのストレス測定結果をPixela + Serverlessで草化

Garmin connectでは心拍数の計測をもとにストレスを数値化してくれる アプリ内では,一覧でみたいときに折れ線グラフしかない + 最大4週間分しか見れない 別の可視化方法として草化してみたい 作ったもの ...