ELD-R-ESH-2

アレゲを目指すMLプログラマ

[ELD-R-ESH-2 @eldesh]

ねむい。。。

[ELD-R-ESH-2 @eldesh]

<〇><〇> | Pure Borrow: Linear Haskell Meets Rust-Style Borrowing https://t.co/s9RTpwfxvc

[ELD-R-ESH-2 @eldesh]

chatgptは以前よりlatex出力し難くなった気がする。無理やりpreブロック(?)で書いてくる。

[ELD-R-ESH-2 @eldesh]

推論規則の名前？の部分はどう読むんだろう🤔

[ytb @ytb_at_twt]

本日の授業
ぼく「これが宿題のA∧(B∧C)→(A∧B)∧Cの証明です」
学生「先生、問題は(A∧B)∧C→A∧(B∧C)の証明です」
ぼく「」

[すまほん!! @sm_hn]

【悲報】今年の夏、クソ暑い

[ELD-R-ESH-2 @eldesh]

夕飯食べてから帰ってぶっ倒れてたのにまだこの時間ということは、普段は自炊にめちゃくちゃ時間かかってるということ…。

[ゆかりちゃん @yukaric03886076]

今日子供の保育園で節分イベントあったんだけどお便り見たら
「保護者の皆様からいろんなご意見をいただき、大切なお子様たちを怖がらせないためにも今年から節分イベントに関して充分に配慮いたします」
って書いてあって、さっき帰ってきた息子に聞いたら「鬼が園長に縄に繋がれた状態で入場した」とのこと。
草。

[ELD-R-ESH-2 @eldesh]

これもう合法の気温じゃないだろ😠

[ELD-R-ESH-2 @eldesh]

特定のatomic操作を考えるとき、fractional permission が n<1 のときには足し込むことだけでき、逆に(?)スケジュールに依存するから読めないということにする場合もあるのかー。

[JIJ Inc. Japan @Jij_Inc_JP]

数理モデルをより読みやすく表現し、制約構造の自動検出によって最適化を高速化する、JIJの技術的取り組みです。

詳細はarXivでご覧いただけます。
🔗 https://t.co/6by2lXoeVq

#JIJ #JijModeling #MathematicalOptimization #Optimization #EGraphs #egglog #PLDI2026

[lotz @lotz84_]

MicroHs は Haskell2010 のコンパイラ👀 Haskell からラムダ計算を経由してSKIコンビネータに変換する。コンパイラは1万行未満の Haskell で書かれていて、ランタイムは5千行未満のC言語で書かれている。実装を読むと勉強になりそう✍️
https://t.co/kmO361gOW9
Web IDE もある
https://t.co/vLebi0gjNd

[0x71 @0x71ff]

RaspberryPiベースのやつどんどん出てくるけど、RaspberryPiのSoCはsuspendができないので、モバイルデバイスとしては実用するのが非常に難しいんだよな。

[ELD-R-ESH-2 @eldesh]

パクツイがダメなら報告のバリエーションに入れとけよ。何件見逃してきたか…。

[ELD-R-ESH-2 @eldesh]

最近SML界隈の巡回をサボってて気づいてなかった。不覚。

[ELD-R-ESH-2 @eldesh]

MPL(parallel ml)のSam Westrick先生、POPL'24に続いて'26でもdistinguished paper出しとるやん。(26の方は2nd authorだけど)

[iwashi / Yoshimasa Iwase @iwashi86]

AWS を解雇されて、むしろ安堵しているという方のポストだった。

・記事の筆者はAWSでの4年間の勤務を経て解雇された
・入社時の目的は、巨大で無機質なAWSとオープンソース企業とを繋ぐ「人間の顔」としての役割を果たすこと

・Amazonは基本的に従業員を代替可能な存在と見なしている
・しかしIT業界において、経験に基づく知識は一朝一夕には得られない
・だから、小売業の手法を持ち込んだこの考え方は、ITビジネスには適さないと筆者は考えている

・ここ1年で、AWSは生成AIへの過剰な傾倒を見せ始めた
・メールの要約やプレゼン資料の自動生成など、手間を惜しんで何でもAIに頼る風潮があり、これには違和感がある
・そこには人間の手で作られた価値や、相手への配慮が欠けているため

・顧客の真のニーズから逆算するのではなく、とにかくAI関連のものを乱発して反応を見るという姿勢になっている
・AWSが本来持っていた顧客中心主義が完全に失われている
・かつてIT業界に革命を起こしたはずの堅牢なインフラ基盤サービスは軽視され、社内の関心はもはやAIにばかり向けられている

・筆者がAWSで最も誇りに思っている実績は、不当にアカウントを停止されて絶望していた北アフリカの顧客を、単なるアカウント番号ではなく一人の人間として扱い、そのアカウントを復旧させたことで
・現場の同僚たちはこの人間味のある対応を称賛してくれた
・ところが、経営陣や上層部はこの顧客対応の成功に全く関心を示さなかった

・度重なる大規模なレイオフで優秀な同僚たちが去った
・筆者自身も体重増加や血圧上昇、深刻な不眠といった健康被害に苦しめられていた

・筆者は、これからはAIが支配しベンダーが力を握る世界から離れ、ユーザーの手に力を取り戻すというオープンソースの原点に立ち返りたい気持ちが強くなった

https://t.co/GchVTWVkUB

[ELD-R-ESH-2 @eldesh]

散財done

[ELD-R-ESH-2 @eldesh]

とりあえず喫煙所無くして欲しい。少なくとも密閉してほしい。

[ELD-R-ESH-2 @eldesh]

相変わらず表参道の歩道はぢごく。。。

[ちぷしし / Chipushishi @chipushishi]

PC-98みたいなゲームを作ってます！年内に発売予定です！