cutsea110 (@cutsea110) 's Twitter Profile
cutsea110

@cutsea110

ヒゲ生やしたハゲのおっさんです。 少し泳ぎます。 swimmer Haskell Rust Agda Scheme Category Theory

ID: 5919082

linkhttps://github.com/cutsea110 calendar_today10-05-2007 03:21:16

95,95K Tweet

532 Followers

395 Following

中毒じゃない象さん (@chudokuzzz) 's Twitter Profile Photo

娘が私の財布からお金を抜いていることが発覚し、鬼嫁様が激怒。娘氏が「パパの財布だからいいと思ってた。ママもやってるし」と犯行を否認。鬼嫁様は自らの犯罪はなかったかのように大激怒。娘はあまりの理不尽さに大絶叫。このような状況で私は娘の教育のため、どうするのが正解でしょう?なお私は今

ゆるキャン少女 (@soloclimb_girl) 's Twitter Profile Photo

男は40を過ぎると、 ・走り出す ・山に登る ・コーヒーを淹れ始める ・スパイスカレーを作る ・蕎麦を打ち始める ・ミツバチを飼い始める ←new!

lotz (@lotz84_) 's Twitter Profile Photo

Haskell で Rust のような所有権の管理が再現できることを実際にライブラリを作って示した研究👀 単なるRustの再現でなく Linear Haskell を基盤にすることで純粋性やメモリリークの排除を保証。STモナドと異なり並列計算にも対応。並列クイックソートの実装例もあって面白い arxiv.org/abs/2604.15290

白水 (@hakusui103) 's Twitter Profile Photo

文学部「うおw地震w」 経済学部「布団潜ろ(家にいる)」 教育学部「キャー!地震よー!」 工学部「アアアア、ソクテイケッカガ…」 理学部「アアアア、ソクテイケッカガ…」

Palestina En Español (@palestinavence) 's Twitter Profile Photo

🇩🇰🇺🇸 Risa en el parlamento danés cuando Trump exige en una carta recibir el Premio Nobel de la Paz por proteger a Groenlandia de China y Rusia.

cutsea110 (@cutsea110) 's Twitter Profile Photo

シャドウイング意味を考えずに音を追うだけなら少し慣れてきた。途中で知らなそうな音の列を拾った瞬間に考えちゃうと置いてけくらってフリーズしちゃうことがまだまだあるけども。

Simon_Sin (@simon_sin) 's Twitter Profile Photo

あのさあ 稼げて黒字になるんなら民間でやってるの 稼げないけど必要なことだから国が経営する公共の博物館として運営してるんでしょうが なんでそんなこともわかんないの?ばかなの? #ss954

てとらん (@tetra_it) 's Twitter Profile Photo

本当何回も言うけど、「あなたは毎日頑張って仕事してたけど目標未達だったので評価はマイナスです。残念、給料下がります。この悔しさをバネに来年度は頑張ろう!」で何クソって頑張れる人0人なので。マイナス評価はただ人が辞めるだけです。

伊東 豊(セガ・龍が如くスタジオ技術責任者) (@yutakaito_rgg) 's Twitter Profile Photo

「伊東さんはどこでプログラムを覚えたんですか?」 「自分が子供の頃は、パソコンを持っている人はみんなプログラミングの基礎くらいはできたんだよ」 「学校で習ったんですか?」 「いや、遊びで」 『プログラミング=どこかで学ぶもの』と思われがちですが、ベテランPGたちはほぼ全員独学です😅

「伊東さんはどこでプログラムを覚えたんですか?」
「自分が子供の頃は、パソコンを持っている人はみんなプログラミングの基礎くらいはできたんだよ」
「学校で習ったんですか?」
「いや、遊びで」

『プログラミング=どこかで学ぶもの』と思われがちですが、ベテランPGたちはほぼ全員独学です😅
cutsea110 (@cutsea110) 's Twitter Profile Photo

なるほど自分としてもビジネス英語が23:20とか意味分かんねぇって思ってた。 ただどうせLIVEで聞いても一発聞き取りは無理で何度かリピートするから聞き逃しで聞くしなってあまり深く考えなかった。 NHKラジオの再編に怒る - Adminではないけれど [隠居生活編] charade.hatenablog.jp/entry/2026/03/…

cutsea110 (@cutsea110) 's Twitter Profile Photo

今もcodexとやり取りしててやっぱり狭い範囲で着地させようとして筋悪な対応をしようとする。