Skip to content

Instantly share code, notes, and snippets.

@tommy-mor
tommy-mor / checked_comments_example.py
Last active March 25, 2021 19:14
checked htdp comments in python using interactive unification
# thank you to matthias for providing this example.
def g(y : "number") -> "number":
return y + 1
def f(x : "i dont know i think this param is dropped") -> "a function":
return g
h : "scary function" = f(10)
-- xmonad example config file for xmonad-0.9
--
-- A template showing all available configuration hooks,
-- and how to override the defaults in your own xmonad.hs conf file.
--
-- Normally, you'd only override those defaults you care about.
--
-- NOTE: Those updating from earlier xmonad versions, who use
-- EwmhDesktops, safeSpawn, WindowGo, or the simple-status-bar
-- setup functions (dzen, xmobar) probably need to change
@tommy-mor
tommy-mor / automate.py
Last active August 3, 2021 17:28
script to automate Photosensitive Epilepsy Analysis Tool (PEAT) using pywinauto
from pywinauto import Desktop, Application
import time
import sys
import os
windowname = ".* - UW Trace Center Photosensitive Epilepsy Analysis Tool (PEAT) (Version 1.6)"
# connect to peat process that is already running.
# make sure that you are running this program as administrator so that it can attach
app = Application(backend="uia").connect(path='PEAT.exe', title=windowname)
digraph {
"e49eb76a-1854-4815-8947-0d79db227a66" [label="stone tools",shape=box];
"8e2cd62f-6fef-41ec-a023-d799746a19fa" [label="Unification of Italy",shape=box];
"fa36c4e1-92ab-449e-8b60-c2bf483dff00" [label=blogs,shape=box];
"789ae736-c3f3-4c65-b828-6768e42e933b" [label="cuban missle crisis",shape=box];
"a665973e-f8ad-4d50-985f-b211ef643f1f" [label="Tensions over the issue of slavery
in the United States",shape=box];
"8caf44b7-aa4d-44db-a6ad-5eb16462eadc" [label="The defeat of the Ottoman Empire
in World War I, which led
to the division of its territories,
(ns app.core
(:require [weave.core :as weave]
[hiccup.page :refer [html5]]))
;; Shared app state (in a real app this might be in a db or session)
(defonce counter (atom 0))
;; Securely sign the continuation (this will get serialized and verified on the server)
(defn counter-click-handler []
(weave/sign