Amikassberg

日常系おもんなツイッタラー

[Amikassberg @ouhare]

これすき

[Amikassberg @ouhare]

かわいそう

[Amikassberg @ouhare]

値の双対は継続←そうなんだ

[Amikassberg @ouhare]

眠くて金玉しか言えなくなってきた

[まくるめ @MAMAAAAU]

https://t.co/0OybadNG2d

[Hideyuki Tanaka @tanakh]

num-traitsでええやん？かもしれんけどさあ、こういうのはstdに欲しくないすか。num-traitsなしで数に対して多相な関数書くの事実上無理って感じだし、にもかかわらずニーズはあるはずなんだよなあ。

[Amikassberg @ouhare]

おとどすを超えた汚さ

[まくるめ @MAMAAAAU]

https://t.co/q9YW2GrrcY

[パジョカ (Pajoca) @Pajoca_]

このスライド凄く面白いのでおすすめです…!!
チューリングマシンの停止性を個別に決定して次々撃破していく展開に興奮した方へ！
今も現在進行系で人類とチューリングマシンの戦いが進行しています…!!
ちょうど先月、4状態3記号TMで停止性が未決定だった物が約40% (376万0441個) も撃破される成果が!

[Amikassberg @ouhare]

call me by my name←非正格評価しろってこと？

[Amikassberg @ouhare]

首都圏の夜景の空撮で印象に残ったのは中央線の駅っぽいのが綺麗に一直線に並んで光ってたところ

[Amikassberg @ouhare]

あとコードブロックがbegin…endなのも好きじゃない

[Amikassberg @ouhare]

第一プログラミング言語がCだからか約物を使わないがちな関数型言語を読みづらく感じるんだよな　スペース区切りのアルファベットの羅列がちなところが

[Amikassberg @ouhare]

依存型ってそうなんだ

[Kory @Kory__3]

生成 AI ネイティブなプログラミング言語とは、生成しやすいプログラミング言語じゃなくて、責任を負うために確認しなければならない部分をエンジニアリングによって小さくできる、例えば計算量と停止性の保証が付けられる依存型言語だというポジショントークをしていきましょう

[Amikassberg @ouhare]

Rіоtはチート使用ユーザーのコンピューターのDMAファームウェアの無効化とかやる前にまずQAしっかりしようよ

[Amikassberg @ouhare]

昔オタクが貼ってたnicopattyのshop，気に入ってよく聞いてる

[Amikassberg @ouhare]

中間あるのに筆箱忘れた❗️筆箱2(ツー)があるからいいけど

[Amikassberg @ouhare]

外部クレート依存はしないほうがいいしなんならno_stdがいいって昔どっかで見たけどせめてヒープは使わせてくださいの気持ちがある　GlobalAllocくらいは自前で実装できるので

[Amikassberg @ouhare]

@rcharios2 有向グラフのおえかきして閉路見つけるだけやんね

[Amikassberg @ouhare]

イカ3ヒーローモードのRide or Fryほんとすき