This account is not set to public on notestock.

ぜってー長文畳まねえぞの精神でやっていきます

This account is not set to public on notestock.

This account is not set to public on notestock.

一段落！

愚行のプロなので、 XML 文書の変換フォーマットを使ってチューリング完全な言語処理系を作りました

PoC とかのレベルでなく、ガチでλ計算できます

This account is not set to public on notestock.

This account is not set to public on notestock.

おるみんさん「リアルの方で十分経験したから古事記とか読む必要ない」

こうですか

This account is not set to public on notestock.

NeruPointerException

This account is not set to public on notestock.

This account is not set to public on notestock.

Rust は 0o になった (正しい)

Rust 、これまでの言語の闇をことごとく消し去っている感じなので非常に正しい

(まあ型システムはチューリング完全なんだけど……)

Rust です

https://play.rust-lang.org/?gist=e532e01e070ff97c7a5cfb0e2f0d072c&version=stable&mode=debug&edition=2015

fn main() {
println!("{}", 010);
println!("{}", 0o10);
println!("{}", 00.1);
}

This account is not set to public on notestock.

あと Rust の数値リテラルの扱いで気に入ってるのが _ を突っ込める (0x1234_5678) ところで、これが C++ だとなんと驚き ' です (0x1234'5678)

あと Rust だと 42u8 とかで u8 型の42を表現できたりするんだけど、これも 42_u8 などと書ける。
これがまた便利で、 .0 とか 0.f とか変な記法を使わなくても 0f32 とか 0f64 とか書けるわけ

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

まあ 64 bit 時代にもなって16進数リテラルでもいい加減長いので、やはり桁区切りは最近みんな持ってるんですね

複数クライアント間での暗号化された設定共有、公開鍵暗号(クライアント毎の副鍵)と署名使えばいいじゃんと思いました

This account is not set to public on notestock.

なんであれシングルクォートにしたんだろ、しばらくエディタのハイライトが狂って鬱陶しかったわ >C++ の桁区切り

C++ を完全に理解していないので、アンダースコアでは駄目だった理由がよくわからない

This account is not set to public on notestock.

ｱｯ！

This account is not set to public on notestock.

そうかユーザ定義リテラルはアンダースコアから始めるルールあったなそういえば

互換性はこわいね

This account is not set to public on notestock.

dangling ghost ってなんだ……と思ったけど、地縛霊は地に束縛 (bind) されてるから dangling じゃなさそう #適当

や、この仕様実はマクロと一緒に使うと便利なので便利です

This account is not set to public on notestock.

Seyana...

lo48576/sgr_macro: C/C++ macros to improve readability of SGRs.
https://github.com/lo48576/sgr_macro

printf(
"red char->" SGR(FG_RED)
"underline and bold->" SGR(UNDERLINE, BOLD)
"background green->" SGR(BG_GREEN)
"reset->" SGR(RESET) "sample end\n"
);

This account is not set to public on notestock.

型引数に値を渡すやつがまだ unstable ですね >C++ でできて Rustでできないこと

あと高階型パラメータ (GAT) みたいなのも、 C++ では template template で実現できるけど Rust では unstable ですね

まあみんな欲しいというのはわかっているので、そのうち実装されますよ

いやこれ嘘だ、 GAT は associated type なので型パラメータじゃない

寝起きなので駄目

C++ では generic associated type は……たぶんできた気がするけどどうだっけ (たぶんアロケータ周辺を漁るとわかる)

std::allocator - cppreference.com
https://en.cppreference.com/w/cpp/memory/allocator

たぶんこの rebind がそうだと思うんですが:
template< class U > struct rebind { typedef allocator<U> other; };
↑ generic なこれを member type として持てる

まあ Rust もまだまだ足りないことはいろいろあるし、機能追加も継続的に行われているので

次のリリース (edition 2018) が楽しみですね

This account is not set to public on notestock.

This account is not set to public on notestock.

サマータイムみたいだな(カレータイム？)

アップクォーク、ダウンクォーク、キャットウォーク #適当

This account is not set to public on notestock.

鯖缶は知らんが、 twidere は複垢対応もいいし twitter / Mastodon / GNU Social いずれも(同時に)使えるし、おすすめ

これは他意はなく素朴な疑問なんですが、痔の人がケツへの刺激で快感に目覚めてしまうことってあるんでしょうか

This account is not set to public on notestock.

それはどうだろう……

https://mstdn.mini4wd-engineer.com/@kumanotetu/100745594769771238

exponential backoff みたいな、確認間隔が長くなっていくようなアルゴリズムを使っていると、たとえば「45日目に一時的に復帰したけど別の問題で46日目に落ちた」みたいなケースの確認漏れが起きそうな気がするし、鯖閉鎖が明示されていない場合に安易に閉鎖と自動判定してしまうのは望ましくない気がする

This account is not set to public on notestock.

This account is not set to public on notestock.

「エンド オブ マタニティ」って何だ？出産か？と思ったけどよく見たら「エンド オブ エタニティ」だった (英語でおｋ)

英語を片仮名で書かれるとよくわからん空目が発生するのでアカン

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

ですね

まあ本来であれば正確な判定よりも「後から正常な状態に復帰させる手段」の方を充実させるべきな気がするので、 Mastodon がそれについて貧弱とかそういう問題なのかもしれない (Mastodon の実装詳しく知らんけど)

たとえば「落ちたと思っていたインスタンスが復帰していることに気付いたとき、過去ログの取得や投稿の push を行う」みたいなこと

少なくとも、他インスタンスの状態管理に使われているデータストアがアクティブなキューしか存在しなくて、しかもキューの中身は条件付きで捨てられうる、というのはあまり真っ当ではなさそう

せめてアクティブでないストアに積むとか、破棄するにしても何らかのアルゴリズムによって必要な処理を現状から算出することができるとか、そっち系の特性は備えていてほしい気はする

とはいえ push がしっかりしていることへの依存は分散システムとしてはよろしくないので、やはり「自分が落ちていた間の投稿を取りに行く」は必須だと思うんですけどね。でもそれだけでは reply を取り逃がすし、やはり push もしっかりしていてほしい

なんだっけ、 robustness principle

This account is not set to public on notestock.

配信が(ある期間、ある瞬間に)行われているかどうかというのは正直あまり重要でもなくて(いや SNS としてはリアルタイム性は欲しいけど)、「漏れが最終的になくなるか」の方が気になりますね、個人的には

eventually consistent ってわけじゃないけど、「とりあえず動かせるだけ動かしておけば、『理想的な状態』に追い付ける」という特性がほしい

Mastodon のキューの処理はよく知らないので私はあまり踏み入った話はできないけど

This account is not set to public on notestock.

だからこその robustness principle なんですけどね

とはいえ「できないこともある」と「しなくていい」はだいぶ違うという感じもある(多くを求めすぎ？)

受信者が寛容にというのがシステムの動作の問題であれば、送信者が厳格にというのはシステムの稼動コストの問題なので

雑な送信者が多ければ多いだけ受信者が余計にかけるコストが増すわけで、「動けばいい」というものでもないよなぁなどと思うこの頃

たとえば HTML が ill-formed XML であることを許されたがゆえに XML parser と HTML parser を別々に持つことになる処理系各位とかな！

まあ「あなたが正しく動かないことは致命的な問題ではないが、嫌われる理由としては十分である」みたいなお気持ちです

robustness principle の一方だけをことさらに重視するのはあまり気持ち良い視点ではないなと思います

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

XHTML 2.0 を信じていた人だっているんですよ！！！！

今でも一部の人々は xhtml5 などと称し、 valid な XML として HTML5 を書いています

これすき

@juners (ﾟ∀ﾟ)人(ﾟ∀ﾟ)ﾅｶｰﾏ

This account is not set to public on notestock.

人々(特に geek でない人々)が XML をお求めでなかった、みたいなあれこれもあるんでしょうけどね……

This account is not set to public on notestock.

https://twitter.com/KirkBater/status/953673704734683136 #tw

TCP / UDP ジョークだと、これとかも好き

This account is not set to public on notestock.

@juners application/xhtml+xml にして XML declaration を突っ込んだりなどすると、 twitter cards がページのメタ情報を取得してくれなくなったりするので、つらいです(いやこれは twitter が悪い)

This account is not set to public on notestock.

(docbook を vim で書いてる勢としてもな)

This account is not set to public on notestock.

＞ Project Xanadu ＜

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

ｨﾇｯｸｽ、今まで Code of Conduct なかったのか(まああったらあんな風にはならないか)

あんな風つってもべつに私詳しくないけど

まあなんだっけ、 LLVM でﾂｬｶｲ案件で抜けた人とかもいたみたいな話もあったし、どうなんじゃろなぁ

Mozillaがメリトクラシーを捨てるとき - Mozilla Flux
https://rockridge.hatenablog.com/entry/2018/06/04/004149

> Mozillaが営利を追求しないため、Firefoxにユーザーのプライバシーを尊重する機能を積極的に組み込めるというのであれば、ユーザーにとって利益のある話だ。しかし、Firefoxが「政治的に正しい」プロセスによって開発されたからといって、ユーザーがどんな利益を受けるというのだろう。

> さらに別の疑念が頭をもたげる。「バイアスを是正するための積極的な介入措置」が、プログラマの思想を問題にするようになっていく危険はないだろうか。極端な例を挙げれば、差別主義者がとても優れたコードを書く場合、Mozillaはその貢献を受け入れるのか、ということになるわけだが、実はここで「受け入れない」を選んだ先にこそ真の問題がある。現実には、誰が見ても差別主義者だと判断できるケースは少ないだろう。あるプログラマの過去の発言を捉えて、「彼は女性差別的な発言をしたからMozillaにふさわしくない」との批判が出た際、メリトクラシーに従えば、「彼は優れたコードを書いて貢献してきたからMozillaにふさわしい」と反論できるが、バイアスの是正も追求するとなれば、どうなるかわからない。

これな、私も割と同感

ソフトウェア開発に限らず、たとえば創作とかでもいえるんだけど、創作物が良いものであることと、その作者の人間性に問題があることは全く別の問題として捉えるべきではという感じがあるんだよな

まあ事がコミュニティになるから話がややこしくなるんだけど、結局良い物を作ることとコミュニティの社会性というか政治的な姿勢みたいなのにも同じようなことが言えるのではという気がしている

もちろん良い物を作るために非人道的行為が許されるというわけではないですよ

LL で大規模なアプリケーションを書くの、ランタイムのバージョンに影響を受けるのが最悪という感じ

手元端末でさえ苦労してるんだから、これがサーバにもなると……

せめて複数バージョン共存できるならマシにもなるんだけど、その結果がなんたらenv系のアレだったりして「バイナリを落としてきます！」とかなので、まあﾊｲ

コンパイルしようぜ……

ﾄﾞｯｶｰ使ってるのでホストは Linux であれば何でもいっかーという感じ(よくないが)

昔サークルの鯖で「Debian は安定してると聞いてるしそれにしよw」的なノリで Debian を使っていたことがあり、えらい苦労したので、以来 Debian 使ってない

This account is not set to public on notestock.

まあ docker はエミュレーションというより名前空間とかの分離なので……(しらんけど)

This account is not set to public on notestock.

Android なら両方使えるクライアント (Twidere) があるのでまあ楽な方なんだけど、 PC だとどうなんでしょう…… mikutter とか？

機能 #1248: Flatpakレポジトリで配布する - mikutter - やること
https://dev.mikutter.hachune.net/issues/1248

おっ！！！

https://twitter.com/foxy_kitsune/status/1042040192826191872 #tw

This account is not set to public on notestock.

ソフトフェアの耐タンパー性……

そんなものはない(?)

This account is not set to public on notestock.

壁紙、かわいい女の子(二次元)の画像を大量に集めて5分おきにランダム表示させているので「選ぶ」必要がない

ぴぴるぴるぴるぴぴるぴー

「なんでもできちゃうバット」というフレーズ、とてもすき