趣味で代数的エフェクトのHaskellライブラリを作っています

Joined August 2023
63 Photos and videos
たぶんやってる時間(コアタイム)ですが毎日18時〜20時頃になりそうです しばらくしたら17時〜19時になるかも、また6/21,22はお休みするかも
【告知】 近日中〜7/10にかけて、VRChatにてフレンド インスタンスで代数的エフェクト周りの作業配信を行います VRChatやってて興味のある方にはVRCIDをお伝えしますのでDMください
1
2
381
6/10, 6/24, 7/8もお休みします
1
70
毎日やるのさすがにきつくなってきたんで一旦やめます…やってほしいタイミングあったらDMください
29
りよ retweeted
🚨 400 Arch Linux AUR Packages Compromised in a Supply Chain Attack Deploying Infostealers Source: cybersecuritynews.com/arch-l… A massive supply chain attack targeting the Arch User Repository (AUR) has compromised more than 400 community-maintained packages, with attackers injecting malicious build scripts designed to deploy credential-stealing malware and rootkit-style payloads on affected Linux systems. The campaign, dubbed “Atomic Arch” by researchers, was identified around June 11, 2026, and represents one of the most wide-scale AUR incidents on record. The threat actors systematically targeted orphaned AUR packages, legitimate projects that have been abandoned by their original maintainers, and claimed ownership of them through AUR’s standard adoption process. #cybersecuritynews
5
32
118
11,647
Arch Linux使ってる皆さん気をつけてください
7
470
あっぶね
69
りよ retweeted
What can a neuron compute? Real biological neurons are complex, but how capable are they? Using a new method, we found that a single cortical neuron can classify cats vs dogs, recognize spoken words, and solve 10-bit parity, all tasks thought to require entire networks. (1/15)
51
364
1,884
290,877
りよ retweeted
Jun 12
GADTs は対応する通常のデータ型に変換できる👀  data List a n =   Nil (Z -> n)   | forall m. Cons a (List a m) (S m -> n) これが元の GADTs と同型であることは米田の補題を使って導出できる 「GADTsは姿を変えた米田の補題にすぎない」 haskellforall.com/2012/06/ga…
1
4
50
3,599
りよ retweeted
ICFP 2026 に論文が採択されました.ニューラルネットワークの圏論的意味論を逆微分圏上の強プロモナド代数で構築しました.代数的エフェクトと新しい「逆ハンドラ」で誤差逆伝播を自在にプログラミングできる言語が導出できます.星野さん平井さん勝股先生との共著です. arxiv.org/abs/2602.18090
1
7
22
1,020
りよ retweeted
Jun 11
今時の Haskell のレコード構文は、DuplicateRecordFields 拡張を使って異なるレコードに同じ名前のプロパティを持たせることができるし、OverloadedRecordDot を使ってドットによるプロパティアクセスもできるようにもなる👀
8
41
1,984
りよ retweeted
Jun 11
Bun、ランタイム自身がどんな言語で書かれているかに依存しないtestが書かれていたのか。それは確かにRewriteしやすそう
2
25
4,343
りよ retweeted
だからこういうことをしないといけない
Replying to @udon_math_yade
マジレスすると、実はChatGPTって内部的な処理を(後から見られる形で)記録しておくことができないので、最初の時点で何か文字を選んでいるわけではなくて、会話としての整合性を保つように答えているだけなんですよね
5
161
1,474
374,931
個人的にHashSet/HashMapより平衡木ベースのorderedなSet/Mapを好んで使うのでそれに引きづられてしまった
1
132
APLのこの記号やばいって
1
5
558
りよ retweeted
unicode.org/L2/L2026/26139-c… Unicodeに「重ね合わせ」の提案だ!!!! 何故今まで出てこなかったのか不思議だ……

6
43
236
41,372
V×V → 2(隣接行列)は割と綺麗寄り ただ近傍をO(1)で取りたいみたいなケースが典型的だからHashSetやHashMapとかが使われがちで、こやつらは代数的データ型にならず綺麗に扱うには商型が必要で…
2
7
344
s/近傍をO(1)で/近傍のリストをO(1)で/
1
124
元の言い方だと、隣接行列で一行抜き出して 0 0 1 0 0 1 1 1 0 ... を手に入れるのもまあ近傍をO(1)で取るとも言えるよなあと気づいた
92
商的な構造を計算機で扱おうとすると正規化という操作が挟まるのがよくない。計算せずに勝手に正規化されてほしいが、そもそも計算という操作自体が正規化(正規形の項への変換)なので☠
1
1
83
HoTTチャンスなんだろうか
1
74