このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

一見USBメモリに見えるマリアさまの像

ダークエネルギーのクエの部分

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

LaCrOSはGoogle Chrome（や将来組み込まれる他のアプリケーション）を動かすのに必要ない機能を組み込む必要がないから汎用のLinuxディストリビューションよりもattack surfacesが少ないとは思う。

LaCrOSに将来組み込まれる他のアプリケーション、なんだろうな。私がパッと思いつくのはAndroidだけど……。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

被害が増えると遅延が入って減ると遅延がなくなるのかな

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

けるびんさんLean4始めるマジ？

このアカウントは、notestockで公開設定になっていません。

Lean4を使うと定理を証明したりプログラムを書いたりプログラムの性質を証明したりできる

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

/bootに1 TB、としぁさんか？

/と/usrでパーティションを分けるのは1台のディスクでは足りなかった頃の名残だけど、巨大なパーティションだとfsckに時間がかかるなどの不便もなくはない。あと、OpenBSDだとカーネルである/bsdファイルがファイルシステムの先頭何ブロックだか何バイトだかにないとブートローダーが諦めるので巨大な/を作ると何回目かのカーネルアップデートで偶然後ろの方に書かれると突然起動しなくなるとか昔聞いたけど特定のarchだけかもしれない。

CoqにせよLeanにせよ、証明したい性質を具体的に書けないとその性質の証明も書けないので、自然言語で仕様書を書くときとは質の異なる設計パワが要求される印象がある。

home.cern

ディスクがいっぱいになって工場が止まるのはこわいが、ディスクがいっぱいになっても工場が止まらずにデータベースの記録と実際に作った製品が一致しなくなるのに比べたら止まってよかったかもしれない。

このアカウントは、notestockで公開設定になっていません。

vfat rootfs、パーミッションやxattrが消えて終わるでしょ

少し前に見かけたけど買わなかった『女海賊大全』という本のことが気になっている

女海賊大全 Stanley, Jo(著/文) - 東洋書林 | 版元ドットコム
https://www.hanmoto.com/bd/isbn/9784887216150

@nakaishow アポロドーロスのビブリオテーケーの現存テキストと英訳はウェブでアクセスできるんですが、テュポーンの戦いについて述べている1巻6章3節にも「食べると強くなるとモイラに唆されて食べた」以上のことは書かれていないし、注釈5によると、このくだり自体がビブリオテーケー以外で見つかっていないようですね。

https://www.perseus.tufts.edu/hopper/text?doc=Apollod.+1.6.3

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

チャットサーバーなんて5行のBashスクリプトで実装できるぜ、という話を思い出した。

A slack clone in 5 lines of bash
https://the-dam.org/docs/explanations/suc.html

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

終了した永年保証サービスをまとめたThe Ephemeral Permanentや終了した無制限サービスをまとめたThe Limited Infiniteなどのウェブサイトがあるとよさそう

逆人理継続保障機関じゃん

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@acm.orgのことなら転送専用アドレスなのでメールボックスは別途どうにかしないといけない

ちなみにACMのLifetime Membershipはメールアドレスだけでなく会員資格が（除名されない限り）生涯のものになる。49歳以下なら年会費の20倍、1,980 USDで会員資格のみ、3,960 USDで会員資格に加えて論文アーカイブ（ACM Digital Library）のアクセス権が生涯得られる。

このアカウントは、notestockで公開設定になっていません。

突如として高まったゲームボーイ熱のあまりこの本を読んでいる。

筑摩書房 横井軍平ゲーム館　─「世界の任天堂」を築いた発想力 / 横井 軍平 著, 牧野 武文 著
https://www.chikumashobo.co.jp/product/9784480432933/

おもちゃとコンピューターゲーム機の両方でヒット作を作った人、確かにそうそういないよなぁ

乗算器も乗算器も載っていないゲームボーイのことを考えているので乗除算を使わないダメージ計算式がいいなぁと思いつつ、しかしそれだと調整ノブの余地が減るからなぁとも思う

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

？？？

ビットシフトはゲームボーイにもある

ゲームボーイで使える命令セット

https://gbdev.io/pandocs/CPU_Instruction_Set.html

Analogue Pocket！

ゲームプログラミングの本でメルセンヌ・ツイスタ疑似乱数生成器を推奨する記述を読みながら、こちとらTinyMT（127ビット状態空間）ですら躊躇する環境やぞになっています

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ゲームボーイで使う疑似乱数生成器、加算とビットシフトがあることからXorshift族が速くて品質もそこそこ良いはず。ローテーションもあるのでもしかするとXorshiro族も良いかもしれない。

このアカウントは、notestockで公開設定になっていません。

同じ理屈でARX構造のChaCha20やBLAKE系のハッシュ関数は同等の強度の他のアルゴリズムよりもゲームボーイ上で相対的に速くなるかもしれないけれど、長いキャリーの連鎖が必要なのは変わらないのでそこまで期待できない。

まぁ8080向けの賢い乗除算アルゴリズムは世の中にあるんだけどわかるまで使いたくないのでわかるようになる必要がある

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

うおお、1冊も持ってない。これが別分野の人の本棚か。

omasanoriの本棚のごく一部

https://mstdn.maud.io/@omasanori/110098435924971049

omasanoriの本棚、現在は国内5箇所に蔵書が散っているため完全な状態が存在しない（なぜそんなことに……）

このアカウントは、notestockで公開設定になっていません。

@ncrt035 の画像、大抵メディアキャッシュが掃除されているので画像は回収できなさそう

このアカウントは、notestockで公開設定になっていません。

『とある科学の超電磁砲』の「刑務所の中だろうと　世界の果てだろうと　私の頭脳は常にここにあるのだから」いいよね……。ところであの世界でそんなのんきなこと言ってたら脳だけ生かされて冷蔵庫型演算デバイスとかにされるので危険です。

誰とはいわないが冷蔵庫になったりカブトムシになったりバレーボールになったりしてかわいそう

MIT AI Memo 239、通称“HAKMEM”という文書があって、ビット演算による計算の高速化などのMIT AI研の人々が集めた様々なハックが載っている。『ハッカーのたのしみ』（原題Hacker's Delight）のビット演算ネタもいくらかはHAKMEMを参照している。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

珍しく日本語で書かれたローグライクゲーム開発入門書として知られる本を手に入れた。表紙のイラストが時代を感じさせる。

@LwVe9 買ったのにいうのもなんですが、このリンク集が質・量ともに上回っています。英語さえ強い心理的抵抗なく読めるなら……。

https://github.com/marukrap/RoguelikeDevResources

@LwVe9 私は最初NetHackのコードを読もうとしていたんですが、ご存知かもしれませんがNetHackはオリジナルに比べると様々な追加要素があるので手始めに読むのは悪手で、コードを読むならBrogueあたりから始めるのがよさそうだと感じています。

他には、コードゴルフ的なので読みやすいコードではないですが、以下のものは1行80桁で20行に満たないミニマムなローグライクゲームです。

https://www.asahi-net.or.jp/~kh4s-smz/roguelike/rogue80/index.html

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@objectxplosive はい、そう思います