This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Copyright (c) 2010, Nicolas Pouillard | |
# All rights reserved. | |
# | |
# Redistribution and use in source and binary forms, with or without | |
# modification, are permitted provided that the following conditions are | |
# met: | |
# | |
# * Redistributions of source code must retain the above copyright | |
# notice, this list of conditions and the following disclaimer. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
blueprint: | |
name: Scene after n minutes after last motion detected | |
domain: automation | |
input: | |
motion_entity_group: | |
name: Motion Sensor | |
selector: | |
entity: | |
domain: binary_sensor | |
device_class: motion |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
blueprint: | |
name: Entity (light/switch) OFF group after n minutes after last motion detected | |
domain: automation | |
input: | |
motion_entity_group: | |
name: Motion Sensor | |
selector: | |
entity: | |
domain: binary_sensor | |
device_class: motion |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
blueprint: | |
name: Entity (light/switch) OFF after N minutes after last motion detected | |
domain: automation | |
input: | |
motion_entity_group: | |
name: Motion Sensor | |
selector: | |
entity: | |
domain: binary_sensor | |
device_class: motion |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
import Data.Aeson | |
type URL = String | |
newtype JobServerURL i o = JobServerURL URL | |
class Monad m => MonadJob m where | |
callJob :: (ToJSON i, FromJSON o) => JobServerURL i o -> i -> m o |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE ScopedTypeVariables #-} | |
import Control.Concurrent | |
import Control.Concurrent.Async | |
import Control.Exception | |
main :: IO () | |
main = do | |
let f = 1000000 | |
v <- newMVar () | |
let debug = withMVar v . const . putStrLn |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Verifying that "np.id" is my Blockstack ID. https://onename.com/np |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE EmptyCase #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE KindSignatures #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+100 satoshis", "to": "npouillard@21.co", | |
"desc": "You submitted work through the 21 Bitcoin Computer."}, | |
{"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+5 satoshis", "to": "npouillard@21.co", "from": "21dotco@21.co", | |
"desc": "You sold 'http://10.244.165.172:6002/?uri=21.co' to 21dotco"} | |
] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{- | |
import Data.Product | |
module depsession2 (open Data.Product) (let _² = λ A → A × A) (x : Set ²) where | |
y = _×_ | |
-} | |
module depsession2 where | |
open import Type hiding (★) | |
open import Level.NP | |
open import Function.NP |
NewerOlder