ポスターセッションは、グループで交互にオンラインでやる感じか

PPL 2023 プログラム発表されてた
https://jssst-ppl.org/workshop/2023/program.html

んー分からん、今日はやめ

Dunfield 2013 algorithmic typing の abstraction の type synthesizing、おかしない？

XY-pic ぐらいの機能に絞った手書きの可換図式認識 UI があるといいんかな？

https://webdemo.myscript.com/views/math/index.html の SVG 対応版とかがあればいいんかな？まあでも SVG 対応といっても結構範囲が広すぎるか

@elpinal 最近は MathML 対応がいろんなブラウザに乗ってきたので、SVG + MathML で書こうと思えば書けなくはないですw
XY-pic 表記に比べるとちょっと大変ですが

あれでもやっぱおかしいぞ、やっぱ分からん

typo しとるやん。そりゃ sound にならんわけだ

Mastodon の体験記書くとバズる。覚えましたし

なんか例のポストやけに伸びてるみたいやな。ちょっと想定外

ずっと、bidirectional algorithmic typing について、これ sound じゃんと sound じゃないやんの間で振り子運動してる

こうなりそうだったので、今のうちに備忘録化しといた

This account is not set to public on notestock.

追ってこ

こんなニッチな Vtuber が世の中にいんのか... しかも登録数 2 万って、面白すぎるやろ

打ち上げ中止からの JAXA PressKit 見ながらエンジン解説、CFT との比較検証とか始まってんのすげえな... |【 #H3 】H3ロケット試験機1号機 先進光学衛星だいち3号 ミッション #りあライブ パブリックビューイング🌟 2023.2.17 #Vtuber 【 #宇推くりあ 】
https://www.youtube.com/watch?v=DtXGDfp3Jx4&t=5s

This account is not set to public on notestock.

これすき

This account is not set to public on notestock.

公共機関に限らず、ActivityPub で喋るようにして、各 SNS に発信されるみたいな世界になれば、運用コストも抑えられるし、成りすましなども防げそう

This account is not set to public on notestock.

@windymelt ありがとうございます！将来的にどうなってるかも結構楽しみです

これなんだよなあ。マスク体制とかどうでもいいし、分散性とかどうでもよくて、単純に Twitter よりおもろい

This account is not set to public on notestock.

@haborite そうっぽいんですよね。一応トゥートのエイリアス機能もあるっぽいんですが、あまりよく分かってない...

ActivityPub、2つのアカウントからのトゥートに同一性つけるとかできないんか。まあ、同一性つけたとして、それをクライアントでどう扱うかが問題か

これは良さそう。ActivityPub の API サーバさえ作れば、Web UI はなんとかなるやつか
https://elk.zone/

This account is not set to public on notestock.

作りたいものが無限にあるので、無限ループしてる

This account is not set to public on notestock.

双方向型検査の記事リリースしたら、VPS 2台契約して、ドメインとって、お一人様インスタンスやるかってなってる

これちょっと気になってるけど、やっぱ結構大変なの?

This account is not set to public on notestock.

言語化すると、やっぱ Twitter 何やってたんだってなるな

書いた | 続くといいな日記 – Mastodon 体験記
https://mizunashi-mana.github.io/blog/posts/2023/02/mastodon-experience/#mastodon-experience

おもろい

This account is not set to public on notestock.

いやまあ、その仕組みに乗っかってる僕がいうと全く説得力がないが

まあでも、それはそれとして、今の OSS 界隈の仕組みはクソだよな。何が Free Redistribution だよ