nuhauahu subscribers

電子工作、好きです。はんだのにおい、好きです。 chromebook duetを使ってます。

Lisp と自由ソフトウェアと行動分析学が好きです。自分専用のマストドンサーバーを運用しています。Typed Racket や Coalton のような型のついている Lisp や、自動定理証明器の ACL2、GNU Guix System に興味があります。いまは GNU Guile でのプログラミングがメインです。生活リズムの安定のため、深夜 02:00 から 10:00 までの間はアカウントロックをかけています。その間は何も反応しません。

- 雑談用垢（政治、NSFWなもの含め） -（外国人なので日本語はカタコト） - (May contain political and NSFW content or retoot) #nobots - HP (tor): http://gpvdip7rd7bdy5gf7scl3rzgzgzckqw4sqxbmy6g3zijfwu4lz3ypbyd.onion/ - HP (i2p): http://xx6ojsbjzosszqzdxfuopkib6aslzjd6jhcde36qvvm7hzqbddyq.b32.i2p/

たかしです。OpenBSDを使用します。CLIが好きです。( https://bibi.moe/ )