℘ make now just

if you wanna break free you better listen to me

DecJanFebMarAprMayJunJulAugSepOctNov/post/2024-11-03-diary//post/2024-11-04-diary//post/2024-11-05-diary//post/2024-11-06-diary//post/2024-11-07-diary//post/2024-11-08-diary//post/2024-11-09-diary//post/2024-11-10-diary//post/2024-11-11-diary//post/2024-11-12-diary//post/2024-11-13-diary//post/2024-11-14-diary//post/2024-11-15-diary//post/2024-11-16-diary//post/2024-11-17-diary//post/2024-11-18-diary//post/2024-11-19-diary//post/2024-11-20-diary//post/2024-11-21-diary//post/2024-11-22-diary//post/2024-11-23-diary//post/2024-11-24-diary//post/2024-11-25-diary//post/2024-11-26-diary//post/2024-11-27-diary//post/2024-11-28-diary//post/2024-11-29-diary//post/2024-11-30-diary//post/2024-12-01-diary//post/2024-12-02-diary//post/2024-12-03-diary//post/2024-12-04-diary//post/2024-12-05-diary//post/2024-12-06-diary//post/2024-12-07-diary//post/2024-12-08-diary//post/2024-12-09-diary//post/2024-12-10-diary//post/2024-12-11-diary//post/2024-12-12-diary//post/2024-12-13-diary//post/2024-12-14-diary//post/2024-12-15-diary//post/2024-12-16-diary//post/2024-12-17-diary//post/2024-12-18-diary//post/2024-12-19-diary//post/2024-12-20-diary//post/2024-12-21-diary//post/2024-12-22-diary//post/2024-12-23-diary//post/2024-12-24-diary//post/2024-12-25-diary//post/2024-12-26-diary//post/2024-12-27-diary//post/2024-12-28-diary//post/2024-12-29-diary//post/2024-12-30-diary//post/2024-12-31-diary//post/2025-01-01-diary//post/2025-01-02-diary//post/2025-01-03-diary//post/2025-01-04-diary//post/2025-01-05-diary//post/2025-01-06-diary//post/2025-01-07-diary//post/2025-01-08-diary//post/2025-01-09-diary//post/2025-01-10-diary//post/2025-01-11-diary//post/2025-01-12-diary//post/2025-01-13-diary//post/2025-01-14-diary//post/2025-01-15-diary//post/2025-01-16-diary//post/2025-01-17-diary//post/2025-01-18-diary//post/2025-01-19-diary//post/2025-01-20-diary//post/2025-01-21-diary//post/2025-01-22-diary//post/2025-01-23-diary//post/2025-01-24-diary//post/2025-01-25-diary//post/2025-01-26-diary//post/2025-01-27-diary//post/2025-01-28-diary//post/2025-01-29-diary//post/2025-01-30-diary//post/2025-01-31-diary//post/2025-02-01-diary//post/2025-02-02-diary//post/2025-02-03-diary//post/2025-02-04-diary//post/2025-02-05-diary//post/2025-02-06-diary//post/2025-02-07-diary//post/2025-02-08-diary//post/2025-02-09-diary//post/2025-02-10-diary//post/2025-02-11-diary//post/2025-02-12-diary//post/2025-02-13-diary//post/2025-02-14-diary//post/2025-02-15-diary//post/2025-02-16-diary//post/2025-02-17-diary//post/2025-02-18-diary//post/2025-02-19-diary//post/2025-02-20-diary//post/2025-02-21-diary//post/2025-02-22-diary//post/2025-02-23-diary//post/2025-02-24-diary//post/2025-02-25-diary//post/2025-02-26-diary//post/2025-02-27-diary//post/2025-02-28-diary//post/2025-03-01-diary//post/2025-03-02-diary//post/2025-03-03-diary//post/2025-03-04-diary//post/2025-03-05-diary//post/2025-03-06-diary//post/2025-03-07-diary//post/2025-03-08-diary//post/2025-03-09-diary//post/2025-03-10-diary//post/2025-03-11-diary//post/2025-03-12-diary//post/2025-03-13-diary//post/2025-03-14-diary//post/2025-03-15-diary//post/2025-03-16-diary//post/2025-03-17-diary//post/2025-03-18-diary//post/2025-03-19-diary//post/2025-03-20-diary//post/2025-03-21-diary//post/2025-03-22-diary//post/2025-03-23-diary//post/2025-03-24-diary//post/2025-03-25-diary//post/2025-03-26-diary//post/2025-03-27-diary//post/2025-03-28-diary//post/2025-03-29-diary//post/2025-03-30-diary//post/2025-03-31-diary//post/2025-04-01-diary//post/2025-04-02-diary//post/2025-04-03-diary//post/2025-04-04-diary//post/2025-04-05-diary//post/2025-04-06-diary//post/2025-04-07-diary//post/2025-04-08-diary//post/2025-04-09-diary//post/2025-04-10-diary//post/2025-04-11-diary//post/2025-04-12-diary//post/2025-04-13-diary//post/2025-04-14-diary//post/2025-04-15-diary//post/2025-04-16-diary//post/2025-04-17-diary//post/2025-04-18-diary//post/2025-04-19-diary//post/2025-04-20-diary//post/2025-04-21-diary//post/2025-04-22-diary//post/2025-04-23-diary//post/2025-04-24-diary//post/2025-04-25-diary//post/2025-04-26-diary//post/2025-04-27-diary//post/2025-04-28-diary//post/2025-04-29-diary//post/2025-04-30-diary//post/2025-05-01-diary//post/2025-05-02-diary//post/2025-05-03-diary//post/2025-05-04-diary//post/2025-05-05-diary//post/2025-05-06-diary//post/2025-05-07-diary//post/2025-05-08-diary//post/2025-05-09-diary//post/2025-05-10-diary//post/2025-05-11-diary//post/2025-05-12-diary//post/2025-05-13-diary//post/2025-05-14-diary//post/2025-05-15-diary//post/2025-05-16-diary//post/2025-05-17-diary//post/2025-05-18-diary//post/2025-05-19-diary//post/2025-05-20-diary//post/2025-05-21-diary//post/2025-05-22-diary//post/2025-05-23-diary//post/2025-05-24-diary//post/2025-05-25-diary//post/2025-05-26-diary//post/2025-05-27-diary//post/2025-05-28-diary//post/2025-05-29-diary//post/2025-05-30-diary//post/2025-05-31-diary//post/2025-06-01-diary//post/2025-06-02-diary//post/2025-06-03-diary//post/2025-06-04-diary//post/2025-06-05-diary//post/2025-06-06-diary//post/2025-06-07-diary//post/2025-06-08-diary//post/2025-06-09-diary//post/2025-06-10-diary//post/2025-06-11-diary//post/2025-06-12-diary//post/2025-06-13-diary//post/2025-06-14-diary//post/2025-06-15-diary//post/2025-06-16-diary//post/2025-06-17-diary//post/2025-06-18-diary//post/2025-06-19-diary//post/2025-06-20-diary//post/2025-06-21-diary//post/2025-06-22-diary//post/2025-06-23-diary//post/2025-06-24-diary//post/2025-06-25-diary//post/2025-06-26-diary//post/2025-06-27-diary//post/2025-06-28-diary//post/2025-06-29-diary//post/2025-06-30-diary//post/2025-07-01-diary//post/2025-07-02-diary//post/2025-07-03-diary//post/2025-07-04-diary//post/2025-07-05-diary//post/2025-07-06-diary//post/2025-07-07-diary//post/2025-07-08-diary//post/2025-07-09-diary//post/2025-07-10-diary//post/2025-07-11-diary//post/2025-07-12-diary//post/2025-07-13-diary//post/2025-07-14-diary//post/2025-07-15-diary//post/2025-07-16-diary//post/2025-07-17-diary//post/2025-07-18-diary//post/2025-07-19-diary//post/2025-07-20-diary//post/2025-07-21-diary//post/2025-07-22-diary//post/2025-07-23-diary//post/2025-07-24-diary//post/2025-07-25-diary//post/2025-07-26-diary//post/2025-07-27-diary//post/2025-07-28-diary//post/2025-07-29-diary//post/2025-07-30-diary//post/2025-07-31-diary//post/2025-08-01-diary//post/2025-08-02-diary//post/2025-08-03-diary//post/2025-08-04-diary//post/2025-08-05-diary//post/2025-08-06-diary//post/2025-08-07-diary//post/2025-08-08-diary//post/2025-08-09-diary//post/2025-08-10-diary//post/2025-08-11-diary//post/2025-08-12-diary//post/2025-08-13-diary//post/2025-08-14-diary//post/2025-08-15-diary//post/2025-08-16-diary//post/2025-08-17-diary//post/2025-08-18-diary//post/2025-08-19-diary//post/2025-08-20-diary//post/2025-08-21-diary//post/2025-08-22-diary//post/2025-08-23-diary//post/2025-08-24-diary//post/2025-08-25-diary//post/2025-08-26-diary//post/2025-08-27-diary//post/2025-08-28-diary//post/2025-08-29-diary//post/2025-08-30-diary//post/2025-08-31-diary//post/2025-09-01-diary//post/2025-09-02-diary//post/2025-09-03-diary//post/2025-09-04-diary//post/2025-09-05-diary//post/2025-09-06-diary//post/2025-09-07-diary//post/2025-09-08-diary//post/2025-09-09-diary//post/2025-09-10-diary//post/2025-09-11-diary//post/2025-09-12-diary//post/2025-09-13-diary//post/2025-09-14-diary//post/2025-09-15-diary//post/2025-09-16-diary//post/2025-09-17-diary//post/2025-09-18-diary//post/2025-09-19-diary//post/2025-09-20-diary//post/2025-09-21-diary//post/2025-09-22-diary//post/2025-09-23-diary//post/2025-09-24-diary//post/2025-09-25-diary//post/2025-09-26-diary//post/2025-09-27-diary//post/2025-09-28-diary//post/2025-09-29-diary//post/2025-09-30-diary//post/2025-10-01-diary//post/2025-10-02-diary//post/2025-10-03-diary//post/2025-10-04-diary//post/2025-10-05-diary//post/2025-10-06-diary//post/2025-10-07-diary//post/2025-10-08-diary//post/2025-10-09-diary//post/2025-10-10-diary//post/2025-10-11-diary//post/2025-10-12-diary//post/2025-10-13-diary//post/2025-10-14-diary//post/2025-10-15-diary//post/2025-10-16-diary//post/2025-10-17-diary//post/2025-10-18-diary//post/2025-10-19-diary//post/2025-10-20-diary//post/2025-10-21-diary//post/2025-10-22-diary//post/2025-10-23-diary//post/2025-10-24-diary//post/2025-10-25-diary//post/2025-10-26-diary//post/2025-10-27-diary//post/2025-10-28-diary//post/2025-10-29-diary//post/2025-10-30-diary//post/2025-10-31-diary//post/2025-11-01-diary//post/2025-11-02-diary//post/2025-11-03-diary//post/2025-11-04-diary/
  • Less
  • More

2021-02-16: V for ...

やったこと

可算

関数の等価性を確認する方法として、遅延評価を上手く使うやつがあるので実装してみた。
ちなみに実装では関数でなく LazyList になってる。これは普通に手抜き。

https://gist.github.com/MakeNowJust/5d8d183dd16ce7dbf50516108be906c6

元ネタはこれ。
最後の方の最適化はよく分かっていない。

http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/

あとcommlogも書いた。
最近結構commlogを更新しているので暇な人は見てやってほしい。

https://commlog.quine.codes/commit/afb4850c049abbde876e1110dfc6133813cab5c5

トポロジー関連の考察はこのスライドを見たら分かりやすかった。
一様連続な関数なら等価性が判定できるのか。なるほど。

https://www.cs.bham.ac.uk/~mhe/.talks/popl2012/escardo-popl2012.pdf

プリコネ

回したら出た。
無欲ガチャはつよい。
れいれいがんばってる。

https://twitter.com/make_now_just/status/1361603488652746756

Quine

MakeNowJust/quineのRubyのコミットメッセージだけ統一できてなくて気になったので修正した。
修正内容としてはグローバル変数を使うようにしただけ。なんか昔こう書いたような気もするので、むしろどうして今の形になっているのか謎。
一応1バイト短かくなってる。

https://github.com/MakeNowJust/quine/blob/1d4cc686b663f3d793f913bad4379b72df694142/quine.rb

あと、なぜかoctocat-quineに動かないというissueが立ったのだけど、普通に動くので動くよって言っておいた。
多分2FAの都合でパスワードの代わりにパーソナルアクセストークンを入れないといけないんじゃないかな、と推測。
というかAPI変わってないもんだなぁ。

https://github.com/MakeNowJust/octocat-quine/issues/1

ついでにREADMEとかも整備しておいた。

V

Vという言語がある。

https://vlang.io

誇大広告で有名なので知っている人も多い気がする。
なんかリリースされたタイミングでQuine書こうと思ったけど、変更がありそうで見送ってたやつ。

今のところ特筆するほど面白くもないというか、別にこれならGoでいいよなってなってしまう。
一応Goよりも速いとは思うけど、エコシステムが桁違いだし。

というわけでQuineを書いた。
なんかprintlnに配列が渡せたから渡したけど、どういう原理で可能なのかそこまで分かっていない。

https://github.com/MakeNowJust/quine/blob/6e1907d7b23a4ce45853ce8346f60ebd325ca894/quine.vlang.v


2021-02-17: バレンタインコミュ

2021-02-16: V for ...

2021-02-15: ミリシタのニコ生だった