Skip to content

Instantly share code, notes, and snippets.

View Mine02C4's full-sized avatar
💣

NIWA Naoya Mine02C4

💣
View GitHub Profile
@drmalex07
drmalex07 / README-setup-tunnel-as-systemd-service.md
Last active May 17, 2026 22:15
Setup a secure (SSH) tunnel as a systemd service. #systemd #ssh #ssh-tunnel #ssh-forward

README

Create a template service file at /etc/systemd/system/secure-tunnel@.service. The template parameter will correspond to the name of target host:

[Unit]
Description=Setup a secure tunnel to %I
After=network.target
@yingtai
yingtai / peano.markdown
Last active December 19, 2015 21:29
ペアノの公理のとらえ方について cc/ @potetisensei

自然数の定義


ペアノの公理:

以下を満たすような集合 N の要素を自然数とする.

  1. O ∈ N

>2. 任意の x ∈ N について s(x) ∈ N このとき s(x) を x の後者と呼ぶ.