00:30:53
2023-09-06 00:30:29 Posting 妖怪名取( ・´ー・`)🎨 youkai_natori@pawoo.net

This account is not set to public on notestock.

08:18:58
2023-09-06 08:18:23 Posting アカハナ akahana@fla.red

This account is not set to public on notestock.

08:19:33
2023-09-06 07:55:45 Posting アカハナ akahana@fla.red

This account is not set to public on notestock.

08:21:58
2023-09-06 06:14:28 Posting †真🎶社会性昆虫にゃん† ayu_mushi@mstdn.jp

This account is not set to public on notestock.

08:22:00
2023-09-06 06:27:23 Posting †真🎶社会性昆虫にゃん† ayu_mushi@mstdn.jp

This account is not set to public on notestock.

08:23:07

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

08:24:39

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

08:30:03
2023-09-05 13:50:28 Posting 負けヒロイン@がんばらない kelvin27315@mstdn.maud.io

This account is not set to public on notestock.

10:28:21
2023-09-06 10:25:48 Posting k_taka‮🔖‭ k_taka@mstdn.jp

This account is not set to public on notestock.

13:04:50
2023-09-06 12:57:13 Posting 無宛@零月のラウラ良かった…… LwVe9@mstdn.poyo.me

This account is not set to public on notestock.

13:08:38

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

13:10:27

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

13:12:09
2023-09-06 13:09:48 Posting 犬とハイネ🦋🩵💚 naota344@social.mikutter.hachune.net

This account is not set to public on notestock.

13:12:17
2023-09-06 13:07:08 Posting 犬とハイネ🦋🩵💚 naota344@social.mikutter.hachune.net

This account is not set to public on notestock.

13:12:47

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

13:38:43
2023-09-06 13:33:58 Posting GrapheneOS GrapheneOS@grapheneos.social

This account is not set to public on notestock.

13:41:40
2023-09-06 13:28:35 Posting ゆらのふ eulanov@m.eula.dev

This account is not set to public on notestock.

13:42:06
2023-09-06 13:25:36 Posting ZooAnime ZooAnime@pawoo.net

This account is not set to public on notestock.

13:46:30
2023-09-06 13:45:27 Posting 負けヒロイン@がんばらない kelvin27315@mstdn.maud.io

This account is not set to public on notestock.

13:46:41

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

13:47:40
2023-09-05 23:54:47 Posting しもきたざわダウナ shimokidawn@misskey.io

This account is not set to public on notestock.

13:50:33

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

13:51:10
2023-09-06 13:50:36 Posting オガサワラペンギン boronology@social.penguinability.net

This account is not set to public on notestock.

13:51:30
2023-09-06 13:50:51 Posting オガサワラペンギン boronology@social.penguinability.net

This account is not set to public on notestock.

13:51:57

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

14:02:06

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

14:12:26

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

14:14:56
2023-09-06 14:14:08 Posting zunda zundan@mastodon.zunda.ninja

LILOの頃はLinuxでもカーネルがあんまり後ろだとロードできなかったよね

14:20:39

home.cern

14:22:56

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

14:24:09
2023-05-04 12:47:38 Posting 須藤のぼる:skeb::youtube::twitch::tvchan: noborusudou@misskey.io

This account is not set to public on notestock.

14:24:35
2023-09-06 14:22:28 Posting zunda zundan@mastodon.zunda.ninja

> C:H:S アドレスではなく、32 ビット論理ブロックアドレス (LBA) を生成する。 これにより、1024 シリンダ以上あるディスクの 全てのパーティションにアクセスできる。
LILOも後ろの方見られたんだ…スマンカッタ

Man page of LILO https://linuxjm.osdn.jp/html/lilo/man8/lilo.8.html

grubは自分でファイルシステムをマウントできるからカーネルとかinitrdとかをディスク上の1ではなくファイルシステム上のパスとして指定できるよね。

14:25:17
2023-09-06 14:24:58 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io

Linux 本体、が kernel のことだとして、いまどきの Linux は vfat でも exfat でも mainline supported なのでべつにシステムぜんぶ vfat に置いてもいいです

14:25:51

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

14:28:35

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

14:31:53

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

女海賊大全 Stanley, Jo(著/文) - 東洋書林
15:04:31

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

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

Apollodorus, Library, book 1, chapter 6, section 3
19:18:52
2023-09-06 18:57:24 Posting Eater Eater@mstdn.anqou.net

This account is not set to public on notestock.

19:18:53
2023-09-06 19:02:42 Posting Eater Eater@mstdn.anqou.net

This account is not set to public on notestock.

19:20:39
2023-09-06 19:02:51 Posting Eater Eater@mstdn.anqou.net

This account is not set to public on notestock.

19:20:41
2023-09-06 19:04:20 Posting Eater Eater@mstdn.anqou.net

This account is not set to public on notestock.

19:21:00
2023-09-06 19:18:46 Posting どんめつ🔞 metsu@misskey.io

This account is not set to public on notestock.

19:21:55
2023-09-06 19:21:34 Posting にんげんまめ:ablobcatreachflip: ningen_mame@misskey.io

This account is not set to public on notestock.

19:25:28

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

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

A slack clone in 5 lines of bash
19:26:41
2023-09-06 19:26:30 Posting ツナ爪 tunatume@pawoo.net

This account is not set to public on notestock.

20:01:56
2023-09-06 20:01:32 Posting かみま@コミティア147 O-13b kamima_iruka@ichiji.social

This account is not set to public on notestock.

20:09:58

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

20:13:42

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

20:15:25
2023-09-06 20:14:21 Posting 負けヒロイン@がんばらない kelvin27315@mstdn.maud.io

This account is not set to public on notestock.

20:15:28
2023-09-06 20:14:40 Posting 負けヒロイン@がんばらない kelvin27315@mstdn.maud.io

This account is not set to public on notestock.

20:16:09

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

20:17:27
2023-09-06 20:17:04 Posting ねそてち🍆 neso@mstdn.home.neso.tech

kie.nuが消えた話好き

20:21:49

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

20:23:58
2023-09-06 19:44:40 Posting :majidekapurin_cry_up:マジでデカいプリン:pudding_verified: majidedekaipurin@misskey.io

This account is not set to public on notestock.

20:27:23

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

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

筑摩書房 横井軍平ゲーム館 ─「世界の任天堂」を築いた発想力 / 横井 軍平 著, 牧野 武文 著
20:29:02

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

20:35:09

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

20:37:08
2023-09-06 17:10:28 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:37:25
2023-09-06 17:11:32 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:37:31
2023-09-06 17:12:31 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:37:44
2023-09-06 17:21:50 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:37:56
2023-09-06 17:22:43 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:38:06
2023-08-24 13:25:18 Posting Shotato TSUDA brighthelmer@mastodon-japan.net

This account is not set to public on notestock.

20:39:23
2023-09-06 20:35:39 Posting yomoyomo yomoyomo@mstdn.jp

This account is not set to public on notestock.

20:41:09
2023-09-06 20:38:19 Posting やまつみ さき yamatsumi_s@misskey.io

うん……

若い頃は体力なくて自分がいかに雑魚であるかを痛感するばかりだったけど、まさか遠い将来、さらに
:kusozako:と化すなど思いもよらなかった……

RE:
https://misskey.io/notes/9jb7ii083b

なつゆ:tyan: (@Natsuyu)
20:41:12
2023-09-06 20:39:20 Posting :_za::_ga::_ra::_mu::_ge::_n::_zi:@8/17C106日曜東ウ37b 8901@misskey.io

This account is not set to public on notestock.

20:44:22
2023-09-06 20:22:07 Posting かんぴょう丸・第22分隊 kanpyo_japan@oekakiskey.com

This account is not set to public on notestock.

20:44:28

???

20:44:49
2023-09-06 20:38:43 Posting kb10uy kb10uy@mstdn.maud.io

いくら乗除がないとはいえさすがにビットシフトはあるんじゃないか

20:44:55
2023-09-06 20:44:13 Posting kb10uy kb10uy@mstdn.maud.io

GB で使う範囲で O(N) と O(logN) にそんなに差があるかというとない気がしてきたな

20:45:12

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

20:46:38

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

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

20:46:46
2023-09-06 20:46:25 Posting のみや :ff14_16vuln: nomya@s.nomya.net

my new gear…

20:47:05

Analogue Pocket!

20:51:14

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

20:51:35
2023-09-06 18:42:39 Posting かっこう kakkouR@misskey.io

This account is not set to public on notestock.

20:51:47
2023-09-06 20:46:47 Posting 自鯖にいます ovoip@misskey.io

This account is not set to public on notestock.

20:52:14
2023-09-06 19:58:55 Posting あき缶@inica akikan0107@misskey.io

This account is not set to public on notestock.

20:54:36
2023-08-31 11:15:04 Posting くる KRssk25@misskey.io

This account is not set to public on notestock.

20:58:01

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

20:59:32
2023-09-06 20:56:44 Posting ナンさん nann_New@mstdn.maud.io

This account is not set to public on notestock.

21:05:11 21:07:14

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

21:09:20
2023-09-06 21:02:50 Posting kb10uy kb10uy@mstdn.maud.io

pseudo code こんな感じで

21:14:24

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

21:16:47
2023-09-04 18:30:34 Posting ベリオン(晩吾):irai_bosyuu_tyuu: BerionBango@misskey.io

This account is not set to public on notestock.

21:16:59
2023-04-11 22:21:47 Posting うに@ぷるぷる unispot256@misskey.design

This account is not set to public on notestock.

21:18:00
2023-09-06 21:12:46 Posting 餅村 sorata123@misskey.design

This account is not set to public on notestock.

21:18:04
2023-09-06 00:02:47 Posting おちゃのだ🍑 ochanoda@misskey.io

This account is not set to public on notestock.

21:19:07

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

21:22:26
2023-03-28 11:00:09

The 興味があちこちに向いて飽きやすい人の本棚という感じ

21:23:08
2023-09-06 21:22:24 Posting kb10uy kb10uy@mstdn.maud.io

2で割ることと3で割ること - Qiita
https://qiita.com/saka1_p/items/6400e5cedea0b3c286c9#%E5%AE%9A%E6%95%B03

急に謎のデカい数字が出てくるのそういうことだったのか

21:24:58

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

21:25:15
2023-09-06 21:23:38 Posting 𒀭🍊🎨 hassaku@pawoo.net

This account is not set to public on notestock.

21:28:48

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

21:29:27
2023-09-06 21:21:28 Posting 黒杞よるの:role_illustrator: _y_kuroki_@misskey.io

This account is not set to public on notestock.

21:33:43

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

21:37:26

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

21:47:01

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

21:48:00
2023-09-06 21:34:03 Posting 風呂りだ🔞 F_260720@misskey.io

This account is not set to public on notestock.

21:48:14
2023-09-06 21:41:49 Posting GrapheneOS GrapheneOS@grapheneos.social

This account is not set to public on notestock.

21:53:22
2023-09-06 21:21:52 Posting ア‡ 龴乄と他999人 akimame116@misskey.io

This account is not set to public on notestock.

22:02:39

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

ダンジョンゲームプログラミング(ソフトバンククリエイティブ、2008年)
22:03:02
2023-09-06 22:02:44 Posting のみや :ff14_16vuln: nomya@s.nomya.net

ポヨ

22:06:40

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

https://github.com/marukrap/RoguelikeDevResources

GitHub - marukrap/RoguelikeDevResources: A curated list of roguelike development resources
22:21:24

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

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

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

22:22:15
2023-09-06 12:48:23 Posting くゆりび quyuribi@voskey.icalo.net

This account is not set to public on notestock.

22:22:20
2023-09-06 14:52:21 Posting 百山百:role_illustrator: mmyamamm@misskey.io

This account is not set to public on notestock.

22:22:45
2023-09-06 22:17:50 Posting やまこ yamako@fedibird.com

This account is not set to public on notestock.

22:24:56
2023-09-06 22:22:52 Posting やまこ yamako@fedibird.com

This account is not set to public on notestock.

22:38:39

@objectxplosive はい、そう思います