I hereby claim:
- I am shanewilton on github.
- I am shanewilton (https://keybase.io/shanewilton) on keybase.
- I have a public key whose fingerprint is 0A7A ED10 24EF 951C 24D5 941A 546C 5CD9 2DC3 BED7
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
| (declare-const c2 Bool) | |
| (declare-const c3 Bool) | |
| (declare-const c4 Bool) | |
| (declare-const c5 Bool) | |
| (declare-const c6 Bool) | |
| (declare-const c7 Bool) | |
| (declare-const c8 Bool) | |
| (declare-const c9 Bool) | |
| (declare-const c10 Bool) | |
| (declare-const c11 Bool) |
| sat | |
| (model | |
| (define-fun c2 () Bool | |
| false) | |
| (define-fun c3 () Bool | |
| true) | |
| (define-fun c4 () Bool | |
| true) | |
| (define-fun c5 () Bool | |
| false) |
| module Main exposing (..) | |
| import Html exposing (..) | |
| import Html.Events exposing (onClick) | |
| import Html.Attributes exposing (src) | |
| import Json.Decode | |
| import Http | |
| import Task | |
| import Json.Decode.Pipeline exposing (decode, required) |
I hereby claim:
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
| defmodule BeamWorkshop do | |
| def start() do | |
| spawn(&process_loop/0) | |
| end | |
| def process_loop() do | |
| big_data = | |
| for _ <- 1..1024 do | |
| big_data(1_048_576) | |
| end |