https://twitter.com/PLM_precure/status/1074320863434960896

私が歌うときに限って出てくるやつ(私に似ているらしい)

カラオケの待ち時間で異世界セマフォの2話書くか？

https://twitter.com/fuwa_lica_chan/status/1073798197238161408 #tw #これすき

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

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

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

RErideD の OP が DAM に入ってねえじゃねえか

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

ブチミレディ……

DAM には『ましまろホイップ』がない……

というか何度でも言うけど DAM はｴﾖｹﾞソングが少なすぎるしレパートリーの 2/3 くらいアウトや

何故か Witch's Garden はある

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

プリコネRの楽曲がいくらか入っていたのでそれで凌いでいる

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

Rust じゃん (?)

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

main(g) {ほげ}
みたいなやつすこ (golfer 並感)

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

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

わからんでもない

borrowck とかガバガバにすればコンパイラ自体は実装できるみたいなんだけど、サブセットにはならないからな……

Bootstrapping Rust — 2018 — Blog — GuixSD
https://www.gnu.org/software/guix/blog/2018/bootstrapping-rust/

根本的には、追加機能を実装するよりも不正なコードを検出して弾く方向で堅牢性を確保してそうな感じなので、サブセットという概念自体が険しそう

@prime lifetime はコア機能なので全く使わないというのも厳しいですからね……

参照を使わず raw pointer を使おうとしても、 &str みたいな参照に対して定義されたメソッド実装とかは呼べないし……

参照として &'static と &'static mut だけを許して他の用途は全て *const と *mut 使うことにしたら subset にならないかな

ただ、 subset だからといってその unsafe だらけのコードをマトモな rustc でコンパイルしたいとは思わないよな……

@prime lexical lifetime？

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

あと trait 実装の coherence 周りも制約がコーディングされている

Rustのコヒーレンス - 簡潔なQ
https://qnighy.hatenablog.com/entry/2017/07/20/220000
rfcs/2451-re-rebalancing-coherence.md at master · rust-lang/rfcs
https://github.com/rust-lang/rfcs/blob/master/text/2451-re-rebalancing-coherence.md

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

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

あーでも lifetime 周辺を殺すと interior mutability が使えなくなる (std::cell とか) し険しいぞ

https://mstdn.nere9.help/@orange_in_space/101251904673431324

C with classes じゃん
Cfront で C にコンパイルすればいいと思う

なお、後の C++ である

実際、 C++ のコードってちゃんとわかっていれば手作業で C に変換できるので、所詮は C の拡張みたいなところがあるよ

C の授業の期末課題を C++11 で書いて手動で C に直した私が通りますよ

C の未定義動作をなくせたら (或いは検出できたら)、それだけで偉業

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

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

動的バイナリ計装

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

静的なもの、 memory sanitizer や UB sanitizer があるが、完全ではない(特に後者は)

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

といっても理論が言語に降りてくるまでウン十年のラグがあったりするわけで、ただでさえ古い言語をベースに何か考えても「不便」の一言でおしまいになりそう

C をベースにオブジェクト指向風のいいかんじの改良が入った言語、 vala がありましたね

vala 、割と好きですよ

積みタスクなぁ

チケット - らりおやりたいことリスト - らりお Redmine
https://redmine.cardina1.red/projects/lo48576-bucket-list/issues?set_filter=1

JSON-LD ライブラリが出現したら本格的に ActivityPub 鯖作りたいんだけどね

あれは本当に動的型付きなので厳しい

GitHub - kroeg/jsonld-rs: Rust library for processing JSON-LD
https://github.com/kroeg/jsonld-rs

これが期待できるかわからないからなぁ

最低限 framing アルゴリズムは実装されていてほしい

おたくソングタイムりだ

カラオケ終了

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

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

https://twitter.com/shift_crops/status/1074501933757427714 #tw

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

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

mariadb が何もしない状態で 80 MB もメモリ食ってるんだが、こんなことってあるか……？

3つ立ててる mariadb コンテナのうち2つは、 11.05 MiB とか 2.203 MiB とかの慎ましやかなメモリ消費なのに、いま新規に作った mariadb コンテナが 83.58 MiB 食いやがる

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

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

これ、両側で歩いた方がいいじゃんとか不毛なことを思ってしまう

いやわかるよ歩きたくないのは

たとえば「自動車は追い越しをしないで走った方が早い」という研究が出たとして、じゃあ自動車は追い越しするのを禁止しましょう、となるか

エスカレータ歩くなという話で一番説得力を感じるのは、体が不自由な人を考えろというやつですね

あと、歩かない方が早いという研究、新宿駅の朝みたいな左も右も人で埋まっている状況を考慮しているとは思えない (読んでないけど)

立ち止まりレーンがスカスカな状況で比較してもしょうがないんじゃないのという

歩くにしろ止まるにしろ両方のレーンが埋まるのであれば、片方が歩いた方が輸送効率が上がるのは自明なので、一度新宿駅で苦しんでこいというお気持ちはある

正論ではあるが、社会とエスカレータならエスカレータを変える方が簡単なので現実を見るべき (?)

私だって急がなくていいなら急がねえよ……

義務から解放されたい

久々に UB 警察した (たのし)

#ぽぽぽ飯 #rogy1yakudo

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

これ事あるごとに言ってるんだけど、「忘れられる権利」とかいう頭の悪い言葉が全ての元凶

本来「データの公開(より正確には再頒布)を禁じる」ことと「データの保持を禁じる / 削除を強制する」ことの間には隔たりがあって別々に語られるべきことなんだけど、それを考えずに頭蓋骨の中身を空っぽにして削除だなんだと生産性のないことを叫ぶな

ちゃんと人間がどういう権利を持っていてどういう契約が交わされたのか明確化してから議論しろ