I hereby claim:
- I am mlieberman85 on github.
- I am mlieberman85 (https://keybase.io/mlieberman85) on keybase.
- I have a public key ASBjQik_6Dgegsd9rdYPFv2R-pYCNEryeGVZLk1s2CQT7go
To claim this, I am signing this object:
var agentSocket = io.connect('http://minecraftAgentServer'); | |
io.sockets.on('connection', function(socket){ | |
socket.on('startServer', function(){ | |
agentSocket.emit('startServer'); | |
}); | |
agentSocket.on('stats', function(data){ | |
io.sockets.emit('stat', data); | |
}); | |
... | |
}); |
#include<stdio.h> | |
typedef struct | |
{ | |
int x; | |
int y; | |
} myStruct; | |
myStruct myFun(myStruct a) | |
{ |
- name: someplaybook | |
hosts: somehosts | |
vars_files: | |
- ["vars/vars.yml", "vars/empty"] |
# This works. | |
tasks: | |
- debug: var=hostvars[item] | |
with_items: groups['groupA'] | |
# How can I do something like: | |
tasks: | |
- debug: var=hostvars[item] | |
with_items: groups['groupA'].intersect(groups['groupB']) |
- name: Some action | |
debug: msg="Some action" | |
register: some_var | |
when: False | |
xor-linear : ∀ {n} (x y : BitVector n) → bitwise-xor x y ≡ zipWith _xor_ x y | |
xor-linear x y = refl | |
xor-comm : ∀ {n} (x y : BitVector n) → bitwise-xor x y ≡ bitwise-xor y x | |
xor-comm [] [] = refl | |
xor-comm (0# ∷ xs) (0# ∷ ys) rewrite xor-comm xs ys = refl | |
xor-comm (0# ∷ xs) (1# ∷ ys) rewrite xor-comm xs ys = refl | |
xor-comm (1# ∷ xs) (0# ∷ ys) rewrite xor-comm xs ys = refl | |
xor-comm (1# ∷ xs) (1# ∷ ys) rewrite xor-comm xs ys = refl |
I hereby claim:
To claim this, I am signing this object:
{ | |
"/nix/store/01n3wxxw29wj2pkjqimmmjzv7pihzmd7-which-2.21.tar.gz.drv": { | |
"outputs": { | |
"out": { | |
"path": "/nix/store/349f140sh7m12vy9mp1wkp58axyp06c9-which-2.21.tar.gz", | |
"hashAlgo": "sha256", | |
"hash": "f4a245b94124b377d8b49646bf421f9155d36aa7614b6ebf83705d3ffc76eaad" | |
} | |
}, | |
"inputSrcs": [], |
// SLSA Graph | |
digraph "slsa-graph" { | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" [label="ibm-sw-tpm2-1661"] | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "05bd12b620b2c90b455bb76962045e704a027181ead3833aa9773a7ae9bddaea" | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "23daf1a1401858e4562e6aa61166712072a1f193942dd2478eef5513ddc9d2fb" | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "2a32dcb5fac84e74f5bb62a9e8f7698e9367fd00e3a2b8b82163309c2025c049" | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "51858393c5698aba2e7c4e2832054a6985ab3eeda5db7373db5627d0acceefa8" | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "616f319fa34b40faf4dab6566abd3adc69fa1d79c7f96e2ed7b9cbda1ac61d2b" | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> acdeaa5cdbfb13fd590a628dc0b6a07ee25c464bedec941bac90715cacc33c2e | |
"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517 |
// You can edit this code! | |
// Click here and start typing. | |
package main | |
import ( | |
"crypto/ecdsa" | |
"crypto/elliptic" | |
"fmt" | |
"math/big" | |
"reflect" |