Mike Chung mjyc

Remote-first, Declarative Robotics

mjyc / office-room-lights.yaml

Created November 29, 2023 08:56

Google Home Automation Script Examples

	metadata:
	name: Office room lights - day
	description: Scripted automation

	automations:
	starters:
	- type: time.schedule
	at: 10:00:00 AM
	- type: time.schedule
	at: 11:00:00 AM

mjyc / gise.sh

Last active April 4, 2020 20:52

Search & edit git-issue in terminal

vim $(grep -lR "$(sk --ansi -i -c 'grep -lER "{}" .issues/issues/ | grep -v tags | grep -v comments | xargs head -q -n 1')" .issues/issues/)

mjyc / vega-lite_boxplot_of_survey_data_template.json

Last active December 14, 2019 05:43

Template Vega-Lite spec for boxplots displaying survey data

	{
	"$schema": "https://vega.github.io/schema/vega-lite/v4.json",
	"data": {"values": [{"question":"Q1","rating":4,"iter":0},{"question":"Q2","rating":2,"iter":0},{"question":"Q3","rating":2,"iter":0},{"question":"Q1","rating":3,"iter":1},{"question":"Q2","rating":3,"iter":1},{"question":"Q3","rating":4,"iter":1},{"question":"Q1","rating":3,"iter":2},{"question":"Q2","rating":3,"iter":2},{"question":"Q3","rating":4,"iter":2},{"question":"Q1","rating":1,"iter":3},{"question":"Q2","rating":4,"iter":3},{"question":"Q3","rating":5,"iter":3},{"question":"Q1","rating":5,"iter":0},{"question":"Q2","rating":2,"iter":0},{"question":"Q3","rating":1,"iter":0},{"question":"Q1","rating":4,"iter":1},{"question":"Q2","rating":2,"iter":1},{"question":"Q3","rating":3,"iter":1},{"question":"Q1","rating":4,"iter":2},{"question":"Q2","rating":3,"iter":2},{"question":"Q3","rating":3,"iter":2},{"question":"Q1","rating":3,"iter":3},{"question":"Q2","rating":4,"iter":3},{"question":"Q3","rating":4,"iter":3},{"question":"Q1","rating

mjyc / rosette-fsm-synthesis.rkt

Last active March 31, 2020 17:16

My first FSM synthesizer using rosette

	#lang rosette

	(require
	rosette/lib/lift
	(prefix-in racket/ (only-in racket assv))
	rosette/lib/angelic
	rosette/lib/synthax
	)

	;; Define FSM