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

mlieberman85

#include<stdio.h>

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

myStruct myFun(myStruct a)
{

mlieberman85

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

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: Some action
  debug: msg="Some action"
  register: some_var
  when: False
  

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

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

{
  "/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

// SLSA Graph
digraph "slsa-graph" {
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" [label="ibm-sw-tpm2-1661"]
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "05bd12b620b2c90b455bb76962045e704a027181ead3833aa9773a7ae9bddaea"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "23daf1a1401858e4562e6aa61166712072a1f193942dd2478eef5513ddc9d2fb"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "2a32dcb5fac84e74f5bb62a9e8f7698e9367fd00e3a2b8b82163309c2025c049"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "51858393c5698aba2e7c4e2832054a6985ab3eeda5db7373db5627d0acceefa8"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> "616f319fa34b40faf4dab6566abd3adc69fa1d79c7f96e2ed7b9cbda1ac61d2b"
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517" -> acdeaa5cdbfb13fd590a628dc0b6a07ee25c464bedec941bac90715cacc33c2e
	"007cf2405a4e987bad136cbf2b1e3882c28768562a29628c070e4d57f560f517

mlieberman85

// You can edit this code!
// Click here and start typing.
package main

import (
	"crypto/ecdsa"
	"crypto/elliptic"
	"fmt"
	"math/big"
	"reflect"