この記事はpyspa advent calendar 2020の18日目の記事です。前日は、flagboyの配られたカードで勝負するでした。主旨は異なりますが、徒然草百十段の「双六の名人」が思い出されました。明日はYutaka Matsubara a.k.a. mopemopeさんの記事となります。お楽しみに。
行数を書くと「いやいや、私はもっと高い生産性を持っている」、という方は少なくないだろう。登大遊氏に至っては、ネットワークプログラミングという複雑な領域での実装でありながら「1日に少なくとも3,000行程度、多く書くときで10,000行」と述べており、凡才さを思い知らされる。
さて、この記事は、私のような動物でも高効率にコードを書くために何をしたのかを備忘として残しておく主旨である。
| (* This file is to be opened in Isabelle2020 available from | |
| https://isabelle.in.tum.de/ | |
| Lots of symbols look nicer there. Instead of ↦, you'll see an arrow. | |
| Moreover, Isabelle checks definitions are definitions and theorems are theorems. | |
| *) | |
| text ‹ | |
| Copyright 2020 Yoichi Hirai | |
| Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: | |
| The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. |
Clockwork Base32 is a simple variant of Base32 inspired by Crockford's Base32.
See also a blog post (in Japanese).
ソースコードから書き起こしたシーケンス図です。間違っている可能性があります。
この応募用紙は一部に技術的に不正確であったり、厳密ではない表現が含まれています。
より正確に理解するにはChallenge CVE-2020-13777の主催者のOhtsuさん(jovi0608)のフォローブログをあわせて参照してください。
関連記事/リンクは次の通りです。
| * 広い部屋に引っ越したい（郊外に引っ越してもいいかも） | |
| * 大きいテレビ買いたい | |
| * 曲面ディスプレイ買いたい | |
| * [ランプの宿](http://www.lampnoyado.co.jp/)行きたい | |
| * [黒川温泉](https://www.kurokawaonsen.or.jp/)行きたい | |
| * [ichibiko](https://tabelog.com/tokyo/A1324/A132402/13242620/)行きたい | |
| * [吉村家](https://tabelog.com/kanagawa/A1401/A140101/14000059/)行きたい | |
| * 焼いた肉を食べたい（家で料理できないから恋しい） | |
| * 和牛パーティーしたい | |
| * 八重洲地下商店街の六厘舎に並びたい |
明日の下書き
| package main | |
| import ( | |
| "context" | |
| "io/ioutil" | |
| "log" | |
| "net/http" | |
| "os" | |
| "os/signal" | |
| "syscall" |
| wget https://www.openssl.org/source/openssl-1.1.1.tar.gz | |
| tar -xvzf openssl-1.1.1.tar.gz | |
| cd openssl-1.1.1/ | |
| ./Configure linux-aarch64 --prefix=/usr/local/ssl --openssldir=/usr/local/ssl shared zlib | |
| make -j$(($(nproc)+1)) | |
| sudo make install | |
| sudo echo 'LD_LIBRARY_PATH=/usr/local/ssl/lib:${LD_LIBRARY_PATH}' >> /etc/environment | |
| rm openssl-1.1.1.tar.gz | |
| sudo rm openssl-1.1.1 -r |
