圧倒的に時間足りんしな。今は言語処理系お勉強のために時間使いてえ

Mastodon の k8s クラスタ組んで、おひとり様インスタンスやってもいいんだけど、Cloudflare で独自ドメインだけとって Hostdon でやってもいい気はする

双方向型検査の survey 一段落ついたので、記事書くかってなってる。その後は何しようかなって感じだ

やりたいことはたくさんあるし、見たいものもたくさんあるし、読みたいものもたくさんあるので、人生は短すぎるわけだが、人生続かせるには辛いことたくさんしなきゃいけないのでそこがネック

CMS GC ぐらい一度実装してみなきゃな

初めて知ったが、こういう言語があるんか。ウリがよく分からんが
https://grain-lang.org/docs/

多分 sound だと思うからリリースしようぜ

今日も今日とて微妙に sound かどうか分からん拡張を施していく

プログラミングはするから、後の全部やってくれ

GC のバグとかメモリリークとかも判定してほしいし、クリティカルな計算量とかもチェックしてほしい

Decidability らへんも判定してほしいな

AI 君、早く適当な型システム2つ作ったら sound / complete を判定してくれるようになって

Edge 入れて新しい Bing 君と遊んでる

いい曲
#NowPlaying スノーマンストリート / マジカルメロディー - スーパーフックガール オリジナルサウンドトラック / STUDIO HOOKSHOT
#AppleMusic

我らが V8 と TypeScript があった

(終)

Golang しかなくね？

Copy GC じゃない GC があって、静的型があって、パッケージ管理補助などがちゃんとしてる言語、ファイッ

Vtuber を Mastodon から追う方法を考えている

税金を複雑な仕組みにすればするほど税理士は儲かるわけだが、その仕組みを作る時参考にされるのが税理士の意見な訳で、マッチポンプ以外の何者でもねえ

Hostodon SG リージョン、最低スペックで月 550 円はええよな

世の中の色んな RSS を ActivityPub 化してくれ

@elpinal あー確かに SVG はちょっとロードが遅い気がしますね。MathML も一部対応してるが全部対応ではないみたいなこともあったり。一応、
> 「特定の文字にマウスホバーしたらその記法の定義を出す」
程度なら、SVG の text 使わないで foreign object 使って、HTML 埋め込めばできます (僕の元のは SVG 使いつつ foreign object で math ML 使うの想定してました)

まあ、Math ML / SVG 系使うサイト増えてくれば、ブラウザ側のサポートも手厚くなってくるのかもしれない

@arctan ありがとうございます！Haskell ズキ結構珍しいw こちらもフォローさせてもらいました。よろしくお願いします！