jldodds

Require Import Coq.Strings.String.
Require Import Coq.Strings.Ascii.
Require Import Coq.Lists.List.
Import ListNotations.

Open Scope string_scope.

(* Make it print lists one item per line*)
Notation "[ x ; y ; .. ; z ]" :=  (cons x (cons y .. (cons z nil) ..))
  (format "[ '[' x ;  '//' y ;  '//' .. ;  '//' z ']' ]") : list_scope.

BMDan

from typing import Any, Dict, List, Mapping, Union

# Values for JSON that aren't nested
JSON_v = Union[str, int, float, bool, None]

# If MyPy ever permits recursive definitions, just uncomment this:
# JSON = Union[List['JSON'], Mapping[str, 'JSON'], JSON_v]

# Until then, here's a multi-layer way to represent any (reasonable) JSON we
# might send or receive.  It terminates at JSON_4, so the maximum depth of

morkrispil

import pandas as pd
import numpy as np
import multiprocessing
from functools import partial

def _df_split(tup_arg, **kwargs):
	split_ind, df_split, df_f_name = tup_arg
	return (split_ind, getattr(df_split, df_f_name)(**kwargs))

def df_multi_core(df, df_f_name, subset=None, njobs=-1, **kwargs):

Attumm

- Blameless culture.
Don’t blame people blame processes.
Mistakes happen to everyone.
Culture in the team should allow for team members to take blame without repercussion.
After a postmoterm, steps should be taken for making sure it won’t happen again.
Great learning, and feedback moment for the team.

- Just deliver, Deadline is a deadline,
If your stuck or won’t make deadline share it immediately with the team,
Part two part when technical discussion arises,

raulmoyareyes

# View public IP

• curl -s checkip.dyndns.org | sed 's#.Address: (.)</b.*#\1#'
• wget -qO - icanhazip.com
• curl ifconfig.me
• curl ident.me
• dig +short myip.opendns.com @resolver1.opendns.com
• lynx -dump ifconfig.me | grep 'IP Address'
• curl ipecho.net/plain
• curl bot.whatismyipaddress.com
• curl ipinfo.io

phoob

#!/bin/bash
#
# The reason of creating this script is that Endpoint Security VPN installs it's own application firewall kext cpfw.kext
# which prevents for example PPTP connections from this computer, which is not appropriate if you need subj connection just
# from time to time
#
# Usage: ./checkpoint.sh
#
# The script checks if Enpoint Security VPN is running. If it is, then it shuts it down, if it is not, it fires it up.
# Or, make an Automator action and paste the script.

dobrokot

mkdir src_dir
mkdir exec_dir
python generate_variants.py
ls src_dir | xargs -P 100 -IF gcc src_dir/F -o exec_dir/F.x  2>/dev/null
find exec_dir/ | xargs -n 1 -P 1000 ./check_prog.sh

Zearin

NOTE: This is a question I found on StackOverflow which I’ve archived here, because the answer is so effing phenomenal.

---

Q: How can I make a chain of function decorators in Python?

---

If you are not into long explanations, see [Paolo Bergantino’s answer][2].

SaltwaterC

function get_cert()
{
	local host="$1"
	local port="$2"
	if [ -z "$port" ]
	then
		port="443"
	fi

	openssl s_client -showcerts -connect $host:$port -servername $host </dev/null 2>/dev/null | openssl x509 -text -noout

bubenkoff

#!/bin/bash
#
# The reason of creating this script is that Endpoint Security VPN installs it's own application firewall kext cpfw.kext
# which prevents for example PPTP connections from this computer, which is not appropriate if you need subj connection just
# from time to time
#
# Usage: ./checkpoint.sh
#
# The script checks if Enpoint Security VPN is running. If it is, then it shuts it down, if it is not, it fires it up.
# Or, make an Automator action and paste the script.