Skip to content

Instantly share code, notes, and snippets.

@261shimizu
261shimizu / ログファイルまとめ.md
Last active January 25, 2023 02:19
ログのあれこれ

ログファイルまとめ

ログイン情報に関するログ


  • /var/log/wtmp
  • /var/log/btmp
  • /var/log/faillog
  • /var/log/lastlog
  • /var/log/tallylog
Require Import Relations.
Section Lecture.
Variable A : Set.
Variable R : relation A.
Hypothesis Hrefl : reflexive _ R.
Hypothesis H : forall x y z, R x y -> R x z -> R y z.
Hint Unfold reflexive symmetric transitive.
@zr-tex8r
zr-tex8r / bxamstext.sty
Last active June 23, 2019 02:39
LaTeX: ヤバくない \text の実装
%% bxamstext.sty
%% package declaration
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{bxamstext}[2015/12/19 v0.2]
%% preparation
\def\bxtt@pkgname{bxamstext}
%% load packages
@zr-tex8r
zr-tex8r / dvipdfmx.def
Created November 16, 2015 12:39
LaTeX: the graphicx driver for "would-be" dvipdfmx modified to support PDF /Rotate feature
%% This is file `dvipdfmx.def' for DVIPDFMx by J.-H. Cho and S. Hirata
%% based upon `dvipdf.def' in the LaTeX `Graphics Bundle'.
%%
%% Copyright 2005-2015 Jin-Hwan Cho, Shunsaku Hirata
%% (with contributions from many others)
%%
%% This file is not part of the Standard LaTeX `Graphics Bundle'.
%% It may be distributed under the terms of the LaTeX Project Public
%% License, as described in lppl.txt in the base LaTeX distribution.
%% Either version 1.0 or, at your option, any later version.
@hashrock
hashrock / diag.md
Last active January 22, 2025 21:10
作図系ツール・ライブラリまとめ

シーケンス図とかフローチャートをしごとで描画することになった場合、 テキストから生成できたら楽なので、それ系のツールまとめ

GraphViz

http://www.graphviz.org/

  • C製
  • Doxygen, Moinmoinなどと連携可能
  • ブロック図、クラス図、ネットワーク図など
@voluntas
voluntas / webrtc.rst
Last active March 28, 2025 06:01
WebRTC コトハジメ
@syoyo
syoyo / gist:d80cb6f9936aa5f290da
Created April 18, 2015 16:45
exp(x) using trigonometric function in HPC-ACE
#include <cstdio>
#include <cmath>
#include <emmintrin.h>
#define _mm_set1_pd(x) _mm_set_pd((x), (x))
// Probably somewhat faster.
inline __m128d fastexp(__m128d v)
{
const __m128d inv_log2 = _mm_set1_pd(1.4426950408889634073599);

Mac

echo "export HOMEBREW_CASK_OPTS="--appdir=/Applications"" >> .bash_profile
echo "export HOMEBREW_CASK_OPTS="--appdir=/Applications"" >> .zprofile
xcode-select --install  
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"  
brew tap phinze/cask  
brew install brew-cask  
brew cask install atom  
apm install atom-lint 
@jossef
jossef / colors.py
Last active February 2, 2023 20:39
python coloring for linux, based on this answer http://stackoverflow.com/a/26445590/3191896
def color(text, **user_styles):
styles = {
# styles
'reset': '\033[0m',
'bold': '\033[01m',
'disabled': '\033[02m',
'underline': '\033[04m',
'reverse': '\033[07m',
@grugq
grugq / gist:03167bed45e774551155
Last active April 15, 2025 11:22
operational pgp - draft

Operational PGP

This is a guide on how to email securely.

There are many guides on how to install and use PGP to encrypt email. This is not one of them. This is a guide on secure communication using email with PGP encryption. If you are not familiar with PGP, please read another guide first. If you are comfortable using PGP to encrypt and decrypt emails, this guide will raise your security to the next level.