is it interesting for the venue?
is it correct?
is it improving the state-of-the-art?
import cProfile | |
import time | |
#... | |
def set_up(self): | |
#... | |
self.pr = cProfile.Profile() | |
self.pr.enable() | |
def tear_down(self): |
#!/usr/bin/env bash | |
#set -e | |
#openssl s_client -starttls smtp -showcerts -connect email.example.com:25 -servername email.example.com | |
#openssl x509 -in /etc/ssl/email.example.com.fullchain.pem -text | |
readonly LOG_PATH='/var/log/acme-cert-renew.log' | |
readonly DOMAIN='example.com' | |
echo '::::::::::::::::::::::' | ts | tee -a "$LOG_PATH" |
package main | |
import ( | |
"fmt" | |
"time" | |
) | |
func multiply(arg float32, c chan float32) { | |
var val = arg * arg | |
for i := 0; i < 10; i++ { |
/* | |
* Store Java 8 ZonedDateTimeConverter as Timestamp in the database. | |
* Set `hibernate.jdbc.time_zone = UTC` so the timezone is set to UTC. | |
*/ | |
package info.modprobe.cwp.data; | |
import javax.persistence.AttributeConverter; | |
import javax.persistence.Converter; | |
import java.time.ZoneId; |
Status between branches | |
git diff --name-status master..branch_name | |
Merging while ignoring some files | |
git merge --no-commit --no-ff branch_name | |
git reset /path/to/ignored | |
Tags |
#!/usr/bin/env bash | |
set -o errexit | |
## Functions | |
function usage(){ | |
echo "Usage: $0 -d <domain> [-t <time_in_days>]" | |
} |
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4 | |
# $Id$ | |
PortSystem 1.0 | |
PortGroup github 1.0 | |
github.setup cockroachdb cockroach beta-20160915 | |
name cockroachdb | |
categories databases | |
platforms darwin |
set mouse-=a | |
"set cc=80 | |
"set paste | |
set nu | |
set list | |
set hlsearch | |
set ls=2 | |
"set cursorcolumn | |
set cursorline | |
hi CursorLine ctermbg=Gray |
grep -v “^$” filename > newfilename | |
#Remove special characters from a file | |
cat "$f" | tr -dc ' [:alnum:]\n\r' | tr '[:upper:]' '[:lower:]' | |
lsof -P -i -n | |
tcpdump -i eth0 host 192.168.1.1 |