00:31:34 @lo48576@mastodon.cardina1.red
2020-01-04 00:30:06 Nakayaの投稿 eniehack@pleroma.eniehack.net
icon

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

00:32:05 @lo48576@mastodon.cardina1.red
icon

「コンビ」と「ー」と「Y」で、一瞬 Y コンビネータのことかと思ってしまった (空目とさえ言えない)

00:32:32 @lo48576@mastodon.cardina1.red
icon

不動点コンビネータ、自分でいろいろバリエーション作ってみると意外に簡単だし理解が深まるよ

04:24:41 @lo48576@mastodon.cardina1.red
icon

ナレッジベース的に使う予定のサイトを錬成した

04:28:56 @lo48576@mastodon.cardina1.red
icon

CI を設定してメモ的に使っていく予定

06:35:59 @lo48576@mastodon.cardina1.red
2020-01-04 05:13:53 orangeの投稿 orange_in_space@mstdn.nere9.help
国際情勢><
icon

イラン 司令官殺害で報復措置へ 事態悪化避けられない情勢 | NHKニュース www3.nhk.or.jp/news/html/20200

何がなんだかよくわかってなかったけど、背景の記事いくつも読んでみたけど、
どうやらイラクを舞台にイランと霞がかかった状態でイランにコントロールされた状態で争う状態(や、間接的にイランが複数のテロによる攻撃を主にしてる状態)から脱却して、直接イランを相手してイランの悪事を可視化する目的っぽい?><
この判断をしなかった場合、更に敵対させられる国が増えてた可能性が高かったってことかも><
これでイランは直接アメリカと対峙する必要が出るし、今まで通りに遠回しな攻撃(民間船舶への攻撃や対立国へのUAV攻撃等)を行った時に今まで以上に知らんぷり出来なくなるし、「イランの仕業だ」って話に真実味が出やすくなるかも><
きっかけのきっかけになったカタエブ・ヒズボラへの攻撃はかなり筋が悪い判断だったっぽいけど、そうなってしまってからの選択肢としてはかなり頭いい選択っぽさ?><

06:36:02 @lo48576@mastodon.cardina1.red
2020-01-04 05:15:47 orangeの投稿 orange_in_space@mstdn.nere9.help
国際情勢><
icon

全体的なタイミングはすごく悪いとは思う><
せっかくイランの内政が崩れてる時に愛国心を煽る攻撃をしちゃったんだから、その面では敵に塩を送ったようなものかも><

06:37:15 @lo48576@mastodon.cardina1.red
icon

/dev/neru

15:44:56 @lo48576@mastodon.cardina1.red
icon

寝たときより暗い

16:19:23 @lo48576@mastodon.cardina1.red
2020-01-04 16:17:04 shibafu528の投稿 shibafu528@social.mikutter.hachune.net
icon

Paンゴwwwwww

16:20:00 @lo48576@mastodon.cardina1.red
2020-01-04 16:19:43 yumetodoの投稿 yumetodo@qiitadon.com
icon

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

16:20:26 @lo48576@mastodon.cardina1.red
icon

能力が均等でないという残酷な事実を子供にうまく伝えられる自身がないから逃げたいという教諭が多いのでは (知らんけど) (適当)

16:20:59 @lo48576@mastodon.cardina1.red
icon

プロだからといって全能というわけではないからね……

16:21:24 @lo48576@mastodon.cardina1.red
icon

まあその結果として子供が割を食うのはそれはそれでアッという感じだけど

16:24:30 @lo48576@mastodon.cardina1.red
icon

でもよくよく考えると、小学校とかで自分の能力に応じた環境を選ぶという経験なしにいきなり高校・大学で全国規模の篩にかけられるの、結構インパクトが強烈というかいきなりだよな……

16:25:12 @lo48576@mastodon.cardina1.red
icon

まあクソ田舎とかだとむしろ選択肢がないまま人生が進むみたいなパッターンもあるっぽいし、それはそれで問題ではあるけど……

16:25:40 @lo48576@mastodon.cardina1.red
2020-01-04 16:23:26 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

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

16:25:41 @lo48576@mastodon.cardina1.red
2020-01-04 16:24:47 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

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

16:29:40 @lo48576@mastodon.cardina1.red
2020-01-04 16:28:02 くみてんの投稿 kumita@felesitas.cloud
icon

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

16:29:48 @lo48576@mastodon.cardina1.red
2020-01-04 16:28:49 ねずみの投稿 kaznak@mstdn.jp
icon

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

16:30:25 @lo48576@mastodon.cardina1.red
icon

felesitas.cloud/@kumita/103423

(技術系の文脈での) いわゆるエバンジェリストがこれにちょっとだけ近いかもしれないと思った

Web site image
くみてん (@kumita@felesitas.cloud)
18:51:27 @lo48576@mastodon.cardina1.red
2020-01-04 15:44:21 つぁいにゃお@やーぱんの投稿 tsainiao@fedibird.com
icon

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

18:51:28 @lo48576@mastodon.cardina1.red
2020-01-04 16:00:31 不良教師はpawooへ移住しましたの投稿 k_774@mstdn.jp
icon

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

18:51:28 @lo48576@mastodon.cardina1.red
2020-01-04 16:00:58 酸性雨の投稿 acid_rain@amefur.asia
icon

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

18:51:29 @lo48576@mastodon.cardina1.red
2020-01-04 16:02:27 酸性雨の投稿 acid_rain@amefur.asia
icon

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

18:51:55 @lo48576@mastodon.cardina1.red
icon

新聞の文章・レイアウトの特殊性、漫画のコマや吹き出しの特殊性と同質なものだと思うんだけどどうでしょう

19:03:25 @lo48576@mastodon.cardina1.red
2020-01-04 19:03:00 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

21:13:58 @lo48576@mastodon.cardina1.red
icon

Announcing "Haskell Bits", a Functor/Applicative/Monad hierarchy in Rust - announcements - The Rust Programming Language Forum
users.rust-lang.org/t/announci

clintonmead/haskell_bits
github.com/clintonmead/haskell

無茶しやがって……

Web site image
Announcing "Haskell Bits", a Functor/Applicative/Monad hierarchy in Rust
Web site image
GitHub - clintonmead/haskell_bits
21:14:48 @lo48576@mastodon.cardina1.red
icon

私の嗜好に激刺さる CG 集をポチーして大当たりだったんですが、さすがにちょっと一般の人々におすすめできる感じでない

21:15:13 @lo48576@mastodon.cardina1.red
icon

や、小トロ (隠喩) 大好きなんですよ

21:30:19 @lo48576@mastodon.cardina1.red
2020-01-04 20:40:59 rinsukiの投稿 rinsuki@mstdn.rinsuki.net
icon

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

21:30:33 @lo48576@mastodon.cardina1.red
2020-01-04 20:45:34 tateisu​ :force::r_9a:の投稿 tateisu@mastodon.juggler.jp
icon

Misskeyでブロックされてる相手をフォローしようとするとエラーメッセージで分かるらしいけど、まず鍵付きでもないのにフォロー失敗する時点でエラーメッセージが何だろうとバレるよねそんなの。

21:30:36 @lo48576@mastodon.cardina1.red
2020-01-04 20:50:26 tateisu​ :force::r_9a:の投稿 tateisu@mastodon.juggler.jp
icon

Mastodonだとどうかというと、鍵付きでないなら無条件にフォロー成功レスポンスが返ってくるのである!その後ユーザリレーションを取り直すとフォローできてないやつ

21:30:39 @lo48576@mastodon.cardina1.red
2020-01-04 20:56:14 tateisu​ :force::r_9a:の投稿 tateisu@mastodon.juggler.jp
icon

おっと、この挙動はリモートのユーザだけだったかもしれない。

21:30:42 @lo48576@mastodon.cardina1.red
2020-01-04 20:51:29 rinsukiの投稿 rinsuki@mstdn.rinsuki.net
icon

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

21:30:50 @lo48576@mastodon.cardina1.red
2020-01-04 21:18:33 rinsukiの投稿 rinsuki@mstdn.rinsuki.net
icon

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

21:30:51 @lo48576@mastodon.cardina1.red
2020-01-04 21:27:07 rinsukiの投稿 rinsuki@mstdn.rinsuki.net
icon

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

21:30:58 @lo48576@mastodon.cardina1.red
2020-01-04 21:28:22 金具✅の投稿 cobodo@mstdn.kanagu.info
icon

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

21:31:38 @lo48576@mastodon.cardina1.red
icon

メールに何故「小規模クラスタ間で共有されているプラガブルな迷惑メールフィルタ」みたいな仕組みが普及しなかったのか疑問がある。インターネッツ以前の文明だからか?

21:32:39 @lo48576@mastodon.cardina1.red
icon

でもまあブラウザのアドブロックリストもプラガブルではあるけど未だ分散型とまではいってないので、ユーザの理解力がその程度なんだろうなぁ

21:34:31 @lo48576@mastodon.cardina1.red
icon

ブロックリスト共有で一番重要な部分、「組み合わせて (集合演算などを適用して) 利用できること」と「気軽に公開・頒布できて更新を自動的に受け取れること」だと思う

21:36:15 @lo48576@mastodon.cardina1.red
icon

集合演算は本当に重要で、「こいつは駄目と言っとるけど俺がええと言ったらええんや」とか、もっと高度なクエリが使えるなら「このグループのフィルタ5つ以上からブロックされていたらブロック」とか、そういうクエリが書けないと、サードパーティのフィルタなんかうまく使えないでしょ

21:36:52 @lo48576@mastodon.cardina1.red
icon

実のところこういう機構を実現できる良い仕組みがあって、 RDB と SQL というんですけど

21:38:57 @lo48576@mastodon.cardina1.red
icon

複数の信用情報を加減したり傾斜させたりすることで自分にとっての信用の概算を出す仕掛け、 PGP の Web of Trust なんかがまさしくそうなので、やはり分散 SNS には適した機構だと思うんだよなぁ

21:51:03 @lo48576@mastodon.cardina1.red
icon

「えっち」は略称なので人を褒めるときに使うには失礼。
人を褒めるときは省略せず「Hentai」と言おう (適当)

22:07:14 @lo48576@mastodon.cardina1.red
2020-01-04 22:07:02 あじょだよの投稿 azyobuzin@mstdn.maud.io
icon

これだけの情報量からどう選べと

Attach image
22:07:26 @lo48576@mastodon.cardina1.red
icon

utf8mb4_general_ci でよい

22:08:37 @lo48576@mastodon.cardina1.red
icon

bin はバイナリでの比較なので正規化あたりでの差が問題になる (たぶん)
unicode_ci は平仮名片仮名みたいなところまで過剰に同一視するので用途が限られる
general_ci が一番無難

22:09:24 @lo48576@mastodon.cardina1.red
2020-01-04 22:09:06 あじょだよの投稿 azyobuzin@mstdn.maud.io
icon

情報量、横幅が足りてないっていう意味です

22:09:45 @lo48576@mastodon.cardina1.red
icon

どうせその3種類しか使わないので横幅十分では (は???)

22:10:17 @lo48576@mastodon.cardina1.red
icon

まあ真面目な話、開発者も利用者もそれで事足りてるから修正されないとかあっても不思議ではない

22:12:20 @lo48576@mastodon.cardina1.red
2020-01-04 22:11:30 あじょだよの投稿 azyobuzin@mstdn.maud.io
icon

_ai, _as, _ci, _cs が見えない時点で使い物にならん

22:17:07 @lo48576@mastodon.cardina1.red
23:53:15 @lo48576@mastodon.cardina1.red
icon

スクストのアニメなぁ……

23:53:28 @lo48576@mastodon.cardina1.red
icon

あれなぁ……

23:57:05 @lo48576@mastodon.cardina1.red
icon

スクストは「えっこの 3D CG がこのクソショボ端末でこんなにヌルヌル動くんか! しかもロード爆速やんけ!! やべえな!!!」という楽しみ方をするゲーム (偏見) (数年前の話)

23:57:37 @lo48576@mastodon.cardina1.red
2020-01-04 23:57:26 デジタルたぬきの投稿 toshi_a@social.mikutter.hachune.net
icon

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

23:58:10 @lo48576@mastodon.cardina1.red
icon

録画失敗したところで気力が潰えたのでグラブル2期途中から観てない

23:59:15 @lo48576@mastodon.cardina1.red
icon

スクストのスピンオフの音ゲーのことも忘れないであげて……サービス終了したけどオフラインで全曲遊べるのよ……

スクールガールストライカーズ ~トゥインクルメロディーズ~ - Google Play のアプリ
play.google.com/store/apps/det

Web site image
スクールガールストライカーズ ~トゥインクルメロディーズ~ - Google Play のアプリ