出現検査してなかったので let x = \x . (x x) in (x 5) で型検査器が落ちた

型推論、割と静的にいけそうと思ったんだけどそれは幻想で、実際は mutable reference を多用しまくってて悲しい(しかし動かないことには仕方がない)

しかもめっちゃ泡立つ天然水、健康状態悪すぎでは

Commits · nightly · gnu.io / gnu-social · GitLab - https://git.gnu.io/gnu/gnu-social/commits/nightly
GNU Social merge 祭りだ！！

あとで追従しないと

:tada:

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

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

スパゲtee 🍝 すき

grepフルーツ 🍊

それみかん

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

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

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

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

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

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

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

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

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

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

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

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

LTL こそ出せるから出してるだけで、 FTL の方が(思想的に)必要なものに近いと思っている)

原理的に fediverse 全体を表示することは不可能だし、その点では FTL には「見える範囲の fediverse 」というわかりやすい意味と意義があるけど、 LTL は何なんでしょうね、という(べつにそれリモートフォローしたら特定インスタンスに参加しなくても見えるものだし)

モジラ、「Firefox」に通知なく拡張機能をインストール--非難殺到で中止 - CNET Japan
https://japan.cnet.com/article/35112083/
よりによって Mozilla がそういうことしちゃうか……

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

そうか、本来必要だったのはインスタンスの棲み分けじゃなくて、属性ごとの公開アドレス帳みたいなのに自分から登録していけるサービスだったのかな

「似たようなユーザが集まる」というのは価値があるけど、それインスタンスへの所属という形でやらなくてもサードパーティ(或いは mastodon 本体の何らかの機能)でユーザが自分から集まれるリストがあればそれでよさそう

もちろん広告業者がクソみたいに登録しにくることはありそうだけど……

現状のインスタンスで棲み分けるの、バッドノウハウを感じているのでどうにかしたい気持ちがある

よーするに皆が欲しいのは本質的には「同じサーバへの所属」ではなくて「特定の特徴を持つ LTL 相当のタイムライン」なわけだから、それはインスタンスに紐付いている必要はないし、複数あってもいいはず

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

連邦と国家連合の違い -たとえば、ロシアは共和国他とアラブ首長国連邦- その他（行政） | 教えて!goo
https://oshiete.goo.ne.jp/qa/6428272.html

ｵｼｴﾃｸﾞｰの解答をどこまで真に受けるかはさておき、こういう例を考えると、連邦よりも連合の方がシステムに合った言葉のように感じますね

連合では個々が完全に自身の主権を持っていて、連邦では構成要素より上位の権力が存在する

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

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

えらいっっっ！！！

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

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

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

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

エラスティックソウルに空目した(?)

条件の否定を忘れてたせいでクソみてえなエンバグしてた……(解決した)

私もそう思います (wikipedia の URL とかがエンコードされずにコピーされるの、ウンコブラウザユーザだし切り捨てられるべき)

過激派

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

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

URL 手打ち、することもあるかもしれないけど、まず typo することを想定するので、ロケーションバーに打ってアクセス成功してからそれコピーしますね

ブラウザの勝手な補完、ドメインが見付からなかったときしか普通ないのでは

そう言われると、存在しない URL を投稿したいときには手打ちかもしれない(そんなことのために実装を複雑にするべきかはまた別の話)

Internet Explorer で Alt+Enter とかすると www.{}.com だか何だかが補完されるみたいな話は記憶がある

手打ちのあたたかみのある URL……

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

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

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

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

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

#ソ連解体は違法

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

TDL 作って遊ぼうぜ

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

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

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

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

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

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

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

日本語記事タイトルを URL に入れるやつ、クソ長タイトルで途中で切られているものを多く見るし、オメー自分のサイトを確認したことないだろと思っている

miri was merged into rustc! - rust - https://www.reddit.com/r/rust/comments/7ju75d/miri_was_merged_into_rustc/

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