人生長いし殺し屋のアテの一つぐらいあってもよさそうだ
Notices by そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me), page 77
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 03:28:24 JST
そすうぽよ :sabakan:
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 03:27:56 JST
そすうぽよ :sabakan:
殺し屋のアテ、ないなぁ
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:53:32 JST
そすうぽよ :sabakan:
Rustのアセンブリで実装できるサブセットを作るのは難しそうだし一旦Schemeとかを実装するのがいいのか? あれはあれでGCとか実装しないといけないけど…
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:44:32 JST
そすうぽよ :sabakan:
C/C++の未定義動作、整数のオーバーフローでも発生するし静的検出とかむりげーっぽい
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:37:19 JST
そすうぽよ :sabakan:
valgrind便利だけど実行時間にセンシティブなアプリケーションの調査には向いてないんだよな
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:35:44 JST
そすうぽよ :sabakan:
実行時コストとかを許容すればいけるみたいな研究はいっぱいありそう
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:35:17 JST
そすうぽよ :sabakan:
valgrindみたいにクッソ遅いけどメモリエラーとか検出できるのはあるよね
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:27:46 JST
そすうぽよ :sabakan:
サブセットと言うからにはサブセットでコンパイルが通ったら本体でコンパイルが通ってほしい
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:25:37 JST
そすうぽよ :sabakan:
アセンブリで書くレベルだと並列とか考えないことにして並列でダメそうなものは全部だめな制約を実装するとか
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:23:11 JST
そすうぽよ :sabakan:
うーん borrow周りのお節介仕様を削っていけばいくらかサブセットにはなりそう
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:22:18 JST
そすうぽよ :sabakan:
@lo48576 なるほど
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:21:02 JST
そすうぽよ :sabakan:
NLLじゃない元のlifetime制約って何て言うんだ
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:19:57 JST
そすうぽよ :sabakan:
@lo48576 まあNLLは実装しなくていいとしてもなんかの制約を実装しないといけないですからね…
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:16:47 JST
そすうぽよ :sabakan:
@lo48576 制約緩くすると言語がサブセットにならないからなぁ
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:14:27 JST
そすうぽよ :sabakan:
アセンブラで実装できるぐらいの
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:14:16 JST
そすうぽよ :sabakan:
Rustいいけど言語的なサブセットが欲しいよね
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:13:11 JST
そすうぽよ :sabakan:
@hadsn それはありますね…
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:08:12 JST
そすうぽよ :sabakan:
今時1バイトが9ビットとかないやろ~~(00年代に8ビットと定義された)ところにMN-Core「18bit半精度でごわす」
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:06:36 JST
そすうぽよ :sabakan:
@hadsn そういうマシンを作らない!
-
そすうぽよ :sabakan: (prime@mstdn.poyo.me@mstdn.poyo.me)'s status on Monday, 17-Dec-2018 02:05:47 JST
そすうぽよ :sabakan:
@hadsn int8_t, byte, ...と型を作るしか…