Haskellを学ぶ前は「自分はもう立派にプログラム書けるのに、数学とかのよくわからない理由で自称関数型の連中がいじめてくる！」って感じだけど、Haskellを学んだ後は「いや自分はまともにプログラム書けて無かったわ……数学的な洞察って実用的な良いプログラムへの洞察そのものじゃん……」ってなる
Retweeted by か
retweeted at 11:57:15
| Stats | Twitter歴 5,903日（2007/10/12より） |
ツイート数 220,878（37.4件/日） |
表示するツイート :
2023年06月05日(月)1 tweetsource
2022年06月05日(日)111 tweetssource
パンケーキってさ、糖質の塊に脂質ぶちまけてる時点でインスパイア系ラーメンと大して変わらんよな。むしろヤサイで食物繊維とかとってるぶんラーメンのほうがヘルシーまである
Retweeted by か
retweeted at 23:50:41
(どうやらRubyで)usersでなくuserAry と略せ、という話、Rubyでsを採用してる(methods と method とか)上に、Rubyのソースコードで ary という略を大量に使ってる身としてはどちらにもわずかな責任を感じました。でも、私なら users を使います。userAryはナイな。user_list くらいなら妥協するかも。
Retweeted by か
retweeted at 23:37:37
スタプリ放送前に誤情報リークした児童書見つけた https://pic.twitter.com/bZO7M6zQHg
Retweeted by か
retweeted at 23:32:10
くるるん……………！？ https://pic.twitter.com/TOrlDOTgtD
Retweeted by か
retweeted at 23:01:21
それを手続き型言語2.0と呼びたいと思っていたけど、むしろ今までが0.xでRustが手続き型言語1.0かもしれない。
Retweeted by か
retweeted at 22:58:40
そういう、手続き型プログラミングにおけるコンポーネント設計の根幹にかかわる概念を、実用的なレベルで表現できるようになったのがRustなわけで、だからマルチスレッドとかシステムプログラミングとかとは別の次元でRustはすごい言語だと自分は思っているというわけです。
Retweeted by か
retweeted at 22:58:38
それはまさにRustでいう所有権やライフタイムに相当する概念で、しかし既存の(普及していた)手続き型言語はそのような表現力を持たなかった。
じゃあそういった言語では所有権やライフタイムはないのかというと、あるけどコード上になくてふんわり管理されてるんですよね。そしてたまに事故る。
Retweeted by か
retweeted at 22:58:35
そしてHoare論理が分離論理になる過程でわかったのは、ミュータブルリファレンスに関する責任境界の設定方法だった。
Retweeted by か
retweeted at 22:58:30
Hoare論理や分離論理はプログラムの正しさを証明したい人のための道具だけど、それって実は「コンポーネント間の規約をどう設計すれば事故なく責任境界を設定できるか」というインターフェースの話なんですよね (結局、証明というのはプリミティブの性質まで還元することに過ぎないので)
Retweeted by か
retweeted at 22:58:28
最大のおもしろポイントは「こいつは危険ドライバーだ！」って決めつけて掛かってきた連中に「私は横断歩道で轢かれた側の歩行者です痛かったです」って返してる点ですね
posted at 22:56:22
表示拒否
retweeted at xx:xx:xx
９歳長女、手動扇風機「虹」を開発
長女「ついったーに上げて、いいね貰った分だけ１円ちょうだいね、材料買うから」
大丈夫、パパのフォロワー少ないから
#工作 https://pic.twitter.com/JNVOJR7qUM
Retweeted by か
retweeted at 22:47:14
預金保険機構も危ないらしいよみたいな噂でも流れればあるいは…いや無理か
posted at 22:44:53
「そんなに預金を投資に回したいなら、ペイオフ限度額下げればいいのに」
「やめて」
Retweeted by か
retweeted at 22:34:00
ああいう油絵みたいな絵がプロの手にかかると描けちゃうってのはある意味想定通りだったと…
posted at 22:17:39
柴崎おじいちゃん先生の動画でちょっと前に話題になってたクレパスについて調べてたけど，この商品ってそもそも大昔から「油繪のやうにしつかりした繪がかけます」って売りだったんですね…しゅごい…
posted at 22:16:54
母が祖父宅でクレパス見つけたから娘に使ったら？って持ってきたけど、予想以上に年代物で逆に使うの勿体無いな・・・
#サクラクレパス #クレパス https://pic.twitter.com/I0CnVWLaRI
Retweeted by か
retweeted at 22:14:54
また v/i/t/a/l/i/k が 5000BTC と 50000ETH くれるってリストに入れてくれたんで早く送って欲しい
posted at 21:19:00
つまりこれの日本語訳はもう「我々はエレファントインザルームの話をする必要がある」や「部屋の中の象の話をしなくちゃいけない」と言って通じるのではないかと．
posted at 20:47:28
最近 "Elephant in the room" の知名度が上がってきてて(アルキメデスの大戦でもネタにされてたし)，もはや「英語には "Elephant in the room" という諺があります」と言う必要が無くなってきたのではないか説を推したい．
posted at 20:45:52
@tenderlove ちょっと意味が変わるので使える文脈が限られそうだけど「もはや見て見ぬふりはできない」とか「もう目をそらしてはおけない」とかで言いかえられないかなと思います
Retweeted by か
retweeted at 20:43:06
日本語で「we have to talk about the elephant in the room」は何と言いますか？この表現は難しくて通訳できない
Retweeted by か
retweeted at 20:43:03
青ヶ島，なんかクリプトの連中がだおだお言ってるな…ってところではあるんですが(失礼過ぎる偏見)，実はそれよりもっと注目すべきことがあって，先日ニュースにもなっていたんですがどうも金が採れるかもしれないらしいんです…
https://www.kobe-u.ac.jp/NEWS/info/2022_06_02_02.html…
posted at 20:40:45
ＴＯＭ@7/12キュアパッション聖誕祭@setsuna_love
プリキュアパン
メロンパン
もうキュアフィナーレが
#precure https://pic.twitter.com/QvYxSMfMvw
Retweeted by か
retweeted at 20:36:17
こんなんほんとにやってたらむしろ電通尊敬しまくるやつ
posted at 20:13:03
スクエニ「FF10リメイク出すんでステマお願いします」
電通「分かりました。ワッカの音MAD流行らせます。」
電通「ティーダのチンポ気持ち良すぎだろ、これはいいキャッチフレーズができたな…」
電通ワッカ担当者「じゃあ君はEbon juってアカウントで2018年からワッカMADを作りまくってね」
Retweeted by か
retweeted at 20:12:37
「AWS奥が深すぎる」
その言葉の真相を探るべく我々はアマゾンの奥地へと…
posted at 20:06:19
AWS奥が深すぎる
Retweeted by か
retweeted at 20:05:39
自分も最初きいたときショックだったんだけど「RTAののカテゴリとルールはRTA in Japanが決めている」という意味分からない認識がまあまあ広まってるのまじでどうにかしてほしい。誰がそんな事言いだした
Retweeted by か
retweeted at 20:05:26
あっ！これは兌換紙幣の歴史で見たやつだ！
posted at 19:47:51
でも皮肉ですね．日本円にいつでも戻せるステーブルコインを作ろうとして作るんでしょうが，もしそれが出来たら多分誰も戻さなくなるんですよ．いつでも戻せるんだから…
posted at 19:46:57
> 絶対に社会が良くなる
ここだけはさすがにどうかとは思いますが，日本円に戻せるパブリックチェーン上のステーブルコインは絶対にあった方が良いですね．
posted at 19:45:13
なんで日本円に払い戻せるパブリックチェーンの日本円ステーブルコインが日本にないんだ。
あった方が絶対に社会が良くなるのに。これがない方が許せない。
だから自分達が作る。
まずはIPOして信用を得ますが
最終的に銀行業許可が必要です。
皆さんの協力が必要です。
力を貸して下さい！
Retweeted by か
retweeted at 19:44:16
10代のときにモテなかった20代男が加工と化粧で10代に雑に手を出して自己実現してパクられている様子むなしいな
Retweeted by か
retweeted at 19:41:37
これモルカー無料開放の皮を被ったiiiあいすくりん2洗脳プレイリストやで
posted at 19:22:40
【PUI PUI #モルカー 新シリーズ 今秋放送！】
放送決定を記念し、
『PUI PUI モルカー』全12話を
明日 6日（月）21:00 まで無料配信中です🥕
https://youtube.com/playlist?list=PL1RK3ysYdxUkk3DaG9JNgXktzQZdwaFya…
公式YouTubeでの配信終了まであと1日！
是非何度でもお楽しみください🥬 #推しモル のツイートもお待ちしています！ https://pic.twitter.com/OnpNydWpus
Retweeted by か
retweeted at 19:21:58
品だけ入れたらサジェストにたくみじゃなくて品田あんとか品田あん43しか出てこないの優秀なTwitter
Retweeted by か
retweeted at 19:15:05
「スイーツをパクパクですわのCV大西沙織」がメジロマックイーン
「しらす丼と年下男子をパクパクですわのCV大西沙織」が品田あん
Retweeted by か
retweeted at 19:14:47
そんなのRTしなくていいから…(良心)
posted at 19:09:01
こう？ https://pic.twitter.com/nJ9VlXwVTt
Retweeted by か
retweeted at 19:08:52
アイスクリームタウンへようこそ！
ここにはかわいいあいすくりんがいっぱい！
バニラン！
チョコン！
…
フランシスコ・ミントン15世！
https://www.youtube.com/watch?v=C2CNj3pLWKA…
posted at 19:07:00
え？この弟子いつぞやのジミーと同じ造形なの？
#sazaesan
posted at 18:56:31
何で棟梁も弟子も「サザエさん」呼びなんだよ「フグタさん」だろ
#sazaesan
posted at 18:55:23
OPやEDの歌詞を本編で回収する作品は良作の法則
#sazaesan
posted at 18:52:22
OP回収 #sazaesan #sazae #fujitv #サザエさん
Retweeted by か
retweeted at 18:51:32
Retweeted by か
retweeted at 18:51:26
OP回収 #sazae #sazaesan #fujitv https://pic.twitter.com/vvP2IyLXg2
Retweeted by か
retweeted at 18:51:21
お魚くわえたドラ猫追いかけて
#sazaesan
posted at 18:51:05
突然「FF10」がSteamのJRPG売り上げトップ欄に きっかけは二次創作動画 #ldnews https://news.livedoor.com/article/detail/22283150/…
「きっかけは二次創作動画」
核シェルター並みのオブラートに包んだ表現。
Retweeted by か
retweeted at 18:49:39
やっぱりゴリラの真似やりやがった！
#sazaesan
posted at 18:48:01
う〜ん 運動したあとのご飯はスペシャルにおいしい
#sazaesan
posted at 18:45:12
心肺ゴム用
#sazaesan
posted at 18:43:40
フネもそう思います #sazaesan
Retweeted by か
retweeted at 18:40:43
ワイトもそう思います
#sazaesan
posted at 18:40:03
BACK COME OH NO!!!
#sazaesan
posted at 18:37:28
BACK COME OH NO
#sazaesan
posted at 18:36:53
麻雀 #sazaesan
posted at 18:34:04
今週のサザエさんは先週の次回予告が正しいなら
†お魚くわえたドラ猫†
が登場します
刮目せよ
#sazaesan
posted at 18:32:23
ザエ
posted at 18:30:12
iiiあいすくりん2
posted at 18:29:48
みなさんモルカー1期(←こう言える嬉しさよ)を全話見られるのは明日までですよ．今夜全話通してどうですか？
…でiiiアイスクリン2 (あいあいあいあいすくりんだぶる) の番宣をずっと聞かされて洗脳されると良いですよ．
posted at 18:28:02
新シリーズ放送決定を記念し、
第1期『PUI PUI モルカー』全12話を
本日から公式YouTubeで【期間限定無料配信】いたします！
配信期間：
5月31日（火）12:00～6月6日（月）21:00
https://youtu.be/s-fZ7TvlyAs
是非何度でもお楽しみください🥕
PUI PUI #モルカー #推しモル
Retweeted by か
retweeted at 18:26:11
工藤義智🍥c103（土）東Ｊ-34a@yoshitomo_kudou
残念なイケメンからしか得られない栄養がある。 https://pic.twitter.com/hgahks85Hy
Retweeted by か
retweeted at 18:11:35
工藤義智🍥c103（土）東Ｊ-34a@yoshitomo_kudou
おせわしてくれるジェントルーさん 24 https://pic.twitter.com/HYDdCKLPVg
Retweeted by か
retweeted at 18:11:25
工藤義智🍥c103（土）東Ｊ-34a@yoshitomo_kudou
おせわしてくれるジェントルーさん 23 https://pic.twitter.com/zBgg1rsb0t
Retweeted by か
retweeted at 18:11:13
工藤義智🍥c103（土）東Ｊ-34a@yoshitomo_kudou
おせわしてくれるジェントルーさん 22 https://pic.twitter.com/VkbFXlvLUa
Retweeted by か
retweeted at 18:10:52
ガーナといえば
一般人:国、チョコ菓子
世界史界隈民:エンクルマ
ワイら:ガーナアーリア人
Retweeted by か
retweeted at 18:09:20
今マサオくんが喋ってるようにしか聞こえなかったぞ
posted at 18:06:15
三人に勝てるわけないだろ！
posted at 18:02:54
ゴールデンゼンザー
posted at 18:00:37
牧瀬初雲@『スティアの魔女』『ドラゴン養ってください(原作)』@makkyisu1
シン・ウルトラマン、人類をハチに例えると
ザラブ「土地見つけたけど変な虫いるから駆除しよ」
メフィラス「資源になるから飼い慣らして活用しよ」
ゾーフィ「悪い奴に利用される前に滅ぼそ」
ウルトラマン「1匹死なせちゃった。でも興味深いやつ…ちょっとハチになってみよ」
誰が異常か一目瞭然
Retweeted by か
retweeted at 17:58:39
プリマジやってたら隣でプリマジで遊ぶ子供の付き添いをしてた父親が多分ライブ中の課金するやつに「地獄みてぇなシステムだなぁ！」って言ってたので心の中でそれな〜💥💥💥タカラトミアーツにお金落としながら経済回してこ💪🔥って叫んだ
Retweeted by か
retweeted at 17:55:45
@cress_cc なるほどそれで昨今多くのFP関連資格を(なるほどではない)
posted at 17:46:09
@cress_cc 詐欺は収入の2割まで！(そのくらいの割合までなら騙された方も勉強代だと思って事を荒立ててこないらしい)(しらんけど)
posted at 17:43:32
で，そのコンテキストでこの動画のサムネを見ると，絶対もっとコンテンツを楽しめたんだろうな．
https://www.youtube.com/watch?v=C7FIWYCqnpg…
posted at 17:42:03
シン・ウルトラマンまだ見てないんだけど地球に昔から来ていたメフィラス星人が接触してきて食事をした後に割り勘提案してくるらしい，という話はもう回避不可能であったし多分回避するほど重大なものでもなかろう．
posted at 17:41:01
表示拒否
retweeted at xx:xx:xx
娘が「同じクラスの〇〇君円周率全部言えるんだって！」と嬉しそうに言っていたので「すごいね！」と返した。
Retweeted by か
retweeted at 17:38:18
前は(今もいるけど)こういうのはおもしろ動画転載かかわいい動物画像botみたいなのが多かったけど，最近は普通に有用なこと言ってバズ生成してその後プロフの最後的なところに誘蛾灯してるのが増えてきた…ように私からは見えますが前から居るには居たんでしょうねきっと．
posted at 17:35:30
カード会社(自称)から「不正アクセスのため請求を止めたので確認のため連絡先とカード番号を教えろ」のような電話が来たら注意しろって有用なアドバイスをしているアカウントがあるんですが，そのアカウント自体がちぃかわ集めて謎セミナーして集金してそうな雰囲気があるやつを見ました．
posted at 17:32:42
@k_nulluo DictionaryやMapは自然な感じするのと同時に userArray は users でいいだろって感じもするのが，ダブルスタンダードというかランダムアクセスO(1)配列だけが特別扱いされ過ぎだよなぁ…ってなります…
posted at 17:28:28
スマイルプリキュア
posted at 17:26:24
セクハラの漫画かと思ったら物理ダメージの漫画じゃねぇですか
posted at 17:19:18
ひめゆめ♡ 𝓢𝓹𝓲𝓬𝔂 𝓚𝓲𝓼𝓼………… https://pic.twitter.com/iWyZcalvmf
Retweeted by か
retweeted at 17:18:51
@k_nulluo 変数名に型名付けることの話なのでDictがMapになっても本質的には変わらないですね…
posted at 17:17:36
いや今はもうあるんだから使っていけってそれはそう
ちゃんと練習して使っていきたいです…
posted at 17:14:38
クソッ…何度タイムリープしても「Rubyに静的型検査欲しい」になってしまう…
posted at 17:14:16
いやさ，users は Array<User> だろうってのは分かるけどさ，例えば何かの文字列IDからUserを取ってきたいときに users: Hash<String, User> って変数があったら，users[id] の id に間違って数値渡しちゃったりしそうじゃん？…まで書いて，これどっちかというとRuby自体の問題だな…ってなった．
posted at 17:13:39
これには同意しつつとは言え自分は連想配列の変数名を辞書ということで nantokaToKantokaDict って付けるのはよくやってます…
posted at 17:10:46
users←いい。シリコンバレーの風を感じる。
usersArray←まぁわからないこともない。英語や静的型が使いこなせないチームやコードの中で足掻くには必要なこともある。
userAry←多重下請けの香りを感じる。プログラマーも人間だから人生をやらなければならないときもある。つらい。 https://twitter.com/rubydog725/status/1533005364182274048…
Retweeted by か
retweeted at 17:09:30
@toby_net ダウンロー
posted at 16:08:47
@toby_net JAVA,
posted at 13:02:53
サロメってサキュバスクエストに出て来てたからサキュバスの個体名かなんかかなと思ったけど調べたらちゃんと人類だったけどだいぶエグい方の人類だった
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%AD%E3%83%A1_(%E6%88%AF%E6%9B%B2)…
Retweeted by か
retweeted at 12:59:09
もう3回くらい貼ってる気がしますが……
お気に入りです https://pic.twitter.com/zPViVZl6PJ
Retweeted by か
retweeted at 12:59:00
KA'S TIMES https://paper.li/ka_/1305685297?share_id=a56bb6f0-e44c-11ec-b99d-fa163ed80008… #note #はてなブログ
posted at 06:23:58
「何でもします」に続いて「気持ち良すぎ」も使ってはならない言葉になってしまった
posted at 02:44:39
表示拒否
retweeted at xx:xx:xx
Which `privacyPolicy` should I use for `z_sendmany` ?
z... to u... (Sapling to Orchard)
AllowRevealedAmounts
t... to u... (t-address to Orchard)
AllowRevealedSenders
u... to t... (Orchard to t-address)
AllowRevealedRecipients
posted at 02:36:23
z_getnewaccountの前に，
デーモン起動時に-exportdirの指定
zcashd-wallet-toolの実行(とrecovery phraseのバックアップ)
をやっておくことも忘れずに．これはエラーメッセージが教えてくれるので従うだけで良いです(そのはず)．
posted at 02:11:52
z...は古いzアドレスで，
u...は
z_getnewaccount
z_getaddressforaccount 0
で作ればよろし．
posted at 02:09:57
