Notices by 艮 鮟鱇 (anqou@mstdn.anqou.net), page 3

https://twitter.com/shujisado/status/1521037518363414534?s=20&t=ZfoabQ0C9672SLKIrResxQ

CC0はオープンソースでない、なるほど……

Counterexamples in Type Systems - Counterexamples in Type Systems https://counterexamples.org/title.html

これ読まなきゃなぁって言って一生読んでない

無限にこすられる covariant

俺あんまりこの観点がなくて、何が勉強したいことがあるときに、「何を勉強すればいいか」と勉強するモチベーション欲しさでやっているので、取った結果何かをすることが許されるみたいなのはあんまり興味がない

そうか、人々資格って「それを取ると何ができるようになるか」で見るのか……そらそうか

64ビットRISC-V搭載——オープンソースのポータブルターミナルキット「DevTerm R-01」 | fabcross https://fabcross.jp/news/2022/20220428_64bitriscv_devtermr01.html

よさげ

sksatさんはTwitterを使っています 「別にどんなブラウザ使おうが自分で選択してるならいいですけど、全人類がChromeが最も(すべての点において or すべての人にとって)優れたブラウザであると信じて疑わない価値観を突き付けられるとそんなことはないが…となるし、そう思う人間も存在することは最低限知っておいてはほしい。」 / Twitter https://twitter.com/sksat_tty/status/1508002695252443136

これ見て、真顔で「人類はまだPython以上に良い文法を見つけられてない」って言われたときの感想みたいだなぁと思った（体験談）

Jxiv, JSTプレプリントサーバ https://jxiv.jst.go.jp/index.php/jxiv

これ知る前に「和文論文のプレプリントサーバを作るならXbunsho（ｶｲﾌﾞﾝｼｮ）だよなぁ」って言ってた

衆議院インターネット審議中継 https://www.shugiintv.go.jp/jp/index.php?ex=TD#today

miteru

研究活動上の不正行為に関する調査結果について | 大学からのお知らせ https://www.nagoya-u.ac.jp/info/20220316_jimu.html

読んだ。大変そう

> Add --remove-orphans option to tootctl statuses removehttps://github.com/mastodon/mastodon/pull/17067

URLを直接知らない限り辿れなくなったpost（orphan）を取り除くコマンドオプションがtootctlに追加。うれしい

> Add graphs and retention metrics to admin dashboardhttps://github.com/mastodon/mastodon/pull/16829ｼｭｯとしたadmin dashboard。これはうれしい。

鯖をまたいでどれくらい動くのかなぁ

> Hashtag trends algorithm is extended to work for posts and links

トレンド機能がくる

post editingが入るのか。改ざんし放題になる？

Release v3.5.0rc1 · mastodon/mastodon https://github.com/mastodon/mastodon/releases/tag/v3.5.0rc1

miteru

Amazon.co.jp: CYBER-GROUND ゲーミングデスク 昇降式 幅120cm 背面タップ収納 ヘッドホンフック アジャスター付き パソコンデスク PCデスク オフィス デスク ブラック 56800011 00 (69764) : 文房具・オフィス用品 https://www.amazon.co.jp/dp/B087FQ57JZ

launder - cpprefjp C++日本語リファレンス https://cpprefjp.github.io/reference/new/launder.html

std::launder初めて知った……。placement newで未定義動作を引き起こす場合があるのかぁ

C++くんこういうまぁまぁ意味わからん関数多い

Being a Professional Mathematician https://www.beingamathematician.org/Jokes/LogiciansJoke.html

なるほど……