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

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 じゃないやんの間で振り子運動してる

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

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

追ってこ

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

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

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

これすき

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

おもろい

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

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

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