mlieberman85

{
  "/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": [],

mlieberman85

Keybase proof

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:

mlieberman85

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

mlieberman85

- name: Some action
  debug: msg="Some action"
  register: some_var
  when: False
  

mlieberman85

# 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'])

mlieberman85

- name: someplaybook
  hosts: somehosts
  vars_files:
    - ["vars/vars.yml", "vars/empty"]

mlieberman85

#include<stdio.h>

typedef struct
{
	int x;
	int y;
} myStruct;

myStruct myFun(myStruct a)
{

mlieberman85

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);
  });
  ...
});