Profile

金具✅

45391 posts 614 follows 441 followers

アイコンは @akkiesoft 氏作

https://mstdn.kanagu.info/@cobodo
Search in cobodo@mstdn.kanagu.info

金具✅ cobodo@mstdn.kanagu.info

他のウィンドウで開いてるから云々とかね。無駄にややこしいことせずに、ウィンドウがアクティブになるまではロードを始めなければいいだけなのに。

金具✅ cobodo@mstdn.kanagu.info

ニコ動はこういった嫌がらせ実装を辞めるまではプレミアム再開しない

金具✅ 金具✅ reblogged at 6 years ago

ササキ@s25t sota_n@social.mikutter.hachune.net

ンゴ動画、シークバーを見る限りではリソース落とし終わってるのに再生を止めて「快適に再生するには〜」などと脅迫をしてくるのでキツい

金具✅ cobodo@mstdn.kanagu.info

ja.wikipedia.org/wiki/IEEE_754 binary128はあるらしいですけど実装されたハードウェアの話は聞いたことがない……

金具✅ 金具✅ reblogged at 6 years ago

SHIMADA Hirofumi shimada@mstdn.maud.io

128bit数値てもう規格にあるんやっけ

金具✅ cobodo@mstdn.kanagu.info

最近の言語はだいたいそうなっている気がする

金具✅ cobodo@mstdn.kanagu.info

実数と言いつつ実数ではないのだし、浮動小数点数だと書いたほうがよく、型名としてはfloatが妥当だと思っている。

金具✅ 金具✅ reblogged at 6 years ago

酸性雨 i_sparkling@rainyman.jp

"double"が実数なの,Cからの伝統だけど酷い略称だよな.実数であることはおろか浮動小数点数であることにすら触れてない.

実数型に"real"って名前を振ってる環境もあるけど,こっちのほうがなんぼかマシ.

金具✅ cobodo@mstdn.kanagu.info

内部だけとかなのかな

金具✅ 金具✅ reblogged at 6 years ago

ashida ashida@friends.nico

http通信なんですが・・・ >ニコ動

金具✅ cobodo@mstdn.kanagu.info

というかhttpだろうとhttpsだろうとページ表示に全く必要ないでしょ……

金具✅ cobodo@mstdn.kanagu.info

住所と電話番号を平文で流すのようやく辞めるんですかね

金具✅ 金具✅ reblogged at 6 years ago

まさらっき masarakki

ん??? ニコ動のURLがhttps担ってる

金具✅ 金具✅ reblogged at 6 years ago

やきたまどん お知らせアカウント info@mstdn.yakitamago.info

やきたまどんをご利用いただきましてありがとうございます。ドメインブロック(メディア拒否)のお知らせです。次のインスタンスは、日本の法律に抵触する可能性のある画像が添付されていたり、もしくは添付する可能性のあるユーザーが存在し、または存在する可能性があって、かつ管理者がその対処について積極的ではないと見受けられることから、メディアの受信拒否を設定しております。当該インスタンスのユーザーからのトゥートは今まで通り受け取ることが可能ですが、画像を閲覧する場合は、トゥート内で提示されるリンクを開き、当該インスタンスがホストする画像に直接アクセスしてください。

ご不便をおかけいたしますが、ご理解をよろしくお願いいたします。

● ドメインブロック(画像受け取り拒否)対象インスタンス
- theboss.tech

金具✅ cobodo@mstdn.kanagu.info

カリー=ハワード同型対応ってやつかな(わかってない)

金具✅ 金具✅ reblogged at 6 years ago

@🐄 atsushi015@mstdn.jp

ML系言語だと型は命題

金具✅ cobodo@mstdn.kanagu.info

圏論わからんおじさんなのでなんもわからん

金具✅ 金具✅ reblogged at 6 years ago

ashida ashida@friends.nico

型は圏の圏みたいなことHaskellで触れた気がする

金具✅ cobodo@mstdn.kanagu.info

へー