Skip to content

Instantly share code, notes, and snippets.

View satodaiki's full-sized avatar
:shipit:
Very happy.

satodai satodaiki

:shipit:
Very happy.
  • 東京
View GitHub Profile
@ymmt2005
ymmt2005 / howto-tech-docs.md
Last active September 16, 2025 02:43
技術文書の書き方

技術文書の書き方

このメモは、私(@ymmt2005)が長年にわたってソフトウェアプロダクト開発に関わってきて 2022年現在こうしたほうが良いと考えているベストプラクティスです。

科学的な分析等に基づくわけではない経験則であるため、今後も随時見直すことがありますし、 ここに書いてあることが常に正しいわけでもあらゆるソフトウェア開発に適するわけでもありません。

しかしながら、実務経験が豊富で、モダンな技術スタックに明るいエンジニアの経験則は一定の 役に立つのではないかと考えて記します。

@dioncodes
dioncodes / server-status-widget.js
Last active June 13, 2025 22:25
Scriptable iOS Server Status Widget
const initialData = {
servers: [
{
url: 'https://1.example.com/',
title: 'Server 1',
online: null,
},
{
url: 'https://2.example.com/',
title: 'Server 2',
@michelbl
michelbl / python_private_dep.md
Last active August 3, 2024 06:27
Python private dependencies cheatsheet

I need to give access to a private dependency. It can happen for continuous integration or deployment.

Here we use python and github, using the services CircleCI and Heroku. However, the principles applies everywhere.

What is a deploy key?

See https://developer.github.com/v3/guides/managing-deploy-keys/

There are 4 ways of granting access to a private dependency, but deploy keys are a good compromise in term of security and ease of use for projects that do not require too many dependencies (in that case, prefer a machine user). In any case, do not use username/password of a developer account or oauth token as they do not provide privilege limitation.

@ECHO off
:top
CLS
ECHO Choose a shell:
ECHO [1] cmd
ECHO [2] ubuntu 16.04
ECHO [3] ubuntu 18.04
ECHO [4] debian
ECHO [5] PowerShell
ECHO.