Home
Language
English
Türkçe
Bahasa Indonesia
About
Privacy Policy
Terms of Service
Pricing
Sign In
Download All
Share
りよ
@ymdfield
趣味で代数的エフェクトのHaskellライブラリを作っています
Tokyo, Japan
Joined August 2023
148
Following
309
Followers
3.9K
Posts
りよ
@ymdfield
about 6 hours ago
@__pandaman64__
https://t.co/2J4icinT5A 重なって邪魔っていうのは個人的な話だったかも 普通にセキュリティ的な理由なんで無視して大丈夫かもです
りよ
@ymdfield
about 6 hours ago
@__pandaman64__
あー bitwardenアドオン、パスワード属性の入力フォームがあるときの自動表示がfirefox組み込みのマネージャーの表示と重なって邪魔みたいな話がたしかあって(うろ覚えなんで間違ってたらすいません)、自分は組み込みの方を無効化して使ってます(なので既に沢山エントリある場合移行が大変かも
りよ
@ymdfield
about 7 hours ago
普通にここまで念入りに書かなくても前みたいなケースは防げそう
りよ
@ymdfield
about 7 hours ago
とりあえずAGENTS.mdに気休め程度の暫定的なworkaroundを入れた
りよ
@ymdfield
about 7 hours ago
項じゃなくて引数だな
りよ
@ymdfield
about 9 hours ago
今日はかなり良い睡眠具合
りよ
@ymdfield
about 10 hours ago
@Kory__3
! 最高すぎます いい感じのタイミングあればぶいちゃかどこかでお話しましょう
りよ
@ymdfield
about 22 hours ago
ちなみになんでこれをHaskellでやっているかというと、単純にLeanを知るより前からこのプロジェクトをやっているからというのと、Leanを未だにあまりマスターできてないのと、Leanだとまさに全域性の話の関係で今回必要な自由モナドの亜種をうまくエンコードする方法が見つけられてないなどの理由です
りよ
@ymdfield
about 22 hours ago
total functions
りよ
@ymdfield
about 22 hours ago
@intsuc
あ、思考見れないかと思ってたんですけどCLIだと見れるんですね…知らなかったありがとうございます、そうですcodexのGPT-5.5 mediumでやってました
りよ
@ymdfield
about 22 hours ago
あと目的が結局Haskellのライブラリをリリースすることだから、実験も同じ言語でやるのが自然だしライブラリ実装時の翻訳コストを下げたいというのがあり
りよ
@ymdfield
about 22 hours ago
まあ結局、ちゃんとやるなら全域性すら証明が要求される形式証明言語しかLLMには書かせちゃダメということで…
りよ
@ymdfield
about 22 hours ago
今回のケースだとこういう形なので、ちゃんと自動レビューさせたら検知できたかも、けど書く方もいくらでも複雑な回避ができるのでレビューからも漏れうるので根源的な対策にはならない…
りよ
@ymdfield
about 22 hours ago
@intsuc
liftDropEscCont kの関数内でそのままliftDropEscCont kを使ってるので、意味的なものを考えなくても機械的にこれは無限ループになるってわかるはずなんですけどね…
りよ
@ymdfield
about 22 hours ago
@intsuc
liftDropEscCont kの関数内でそのままliftDropEscCont kを使ってるので、意味的なものを考えなくても機械的にこれは無限ループになるってわかるはずなんですけどね…
りよ
@ymdfield
about 22 hours ago
@intsuc
s/何回な/難解な
りよ
@ymdfield
about 23 hours ago
指標がハックされるのはハック可能な指標を定義するのが原因なので、ハック不可能な真の指標(形式証明)を使いましょうの巻だった
りよ
@ymdfield
about 23 hours ago
これ、「到達不可能なケース」(実際には到達可能)で自己再帰で意味のない無限ループで⊥作って誤魔化してたことが判明してひっくり返ってる
りよ
@ymdfield
1 day ago
Haskellのコード、/goalで「型エラーだけ消して、実装部だけ編集可、既存の関数インターフェースや型定義を絶対に変えないで」を投げたら勝手にいい感じにやってくれて、なるほどこう使えばよかったのか…となってる今
りよ
@ymdfield
about 23 hours ago
ハックされる隙を見せた私が悪いです…になった
Last Seen Users on Sotwe
karafelek10
Seen from
Turkey
link bokep viral
Seen from
Indonesia
Hahahah
Seen from
Singapore
ผมชอบสาวใหญ่
X 🥵 Zin 💦(Ra)
Koleksi Gadis Borneo
Seen from
Indonesia
Tengku isham
Seen from
Canada
Trai Thẳng nhẹ
Seen from
Vietnam
Revista Scratch
Seen from
United States
Juan
Seen from
United States
Trends for you
1
Messi
Under 10K tweets
2
Kenzie
Under 10K tweets
3
Iran
Under 10K tweets
4
Good Wednesday
Under 10K tweets
5
Michelle Obama
Under 10K tweets
6
Algeria
Under 10K tweets
7
Senegal
Under 10K tweets
8
Vance
Under 10K tweets
9
Norway
Under 10K tweets
10
Austria
Under 10K tweets
Most Popular Users
1
Elon Musk
@elonmusk
240.3M followers
2
Barack Obama
@barackobama
119.3M followers
3
Donald J. Trump
@realdonaldtrump
111.6M followers
4
Cristiano Ronaldo
@cristiano
109.7M followers
5
Narendra Modi
@narendramodi
106.9M followers
6
Rihanna
@rihanna
97.4M followers
7
NASA
@nasa
92.1M followers
8
Justin Bieber
@justinbieber
90.7M followers
9
KATY PERRY
@katyperry
87.2M followers
10
Taylor Swift
@taylorswift13
81M followers
11
Lady Gaga
@ladygaga
72.6M followers
12
Kim Kardashian
@kimkardashian
69.6M followers
13
Virat Kohli
@imvkohli
69.2M followers
14
YouTube
@youtube
68.6M followers
15
Bill Gates
@billgates
63.6M followers
16
The Ellen Show
@theellenshow
62.5M followers
17
CNN
@cnn
61.9M followers
18
Neymar Jr
@neymarjr
61.8M followers
19
X
@x
60.9M followers
20
Selena Gomez
@selenagomez
60.3M followers
Olivia
Online
✨
⭐
💫