Show newer
艮 鮟鱇 boosted

GeForce RTX 3060は“ゲーマーに届く”。マイニング性能を半分に制限 - PC Watch
pc.watch.impress.co.jp/docs/ne 生きてゲーマーまで届く3060

そういやいつのまにか!wまで1週間切ってるんですよね

ここんとこErlangとElixirしか書いてなかったので、カンを取り戻すのに時間がかかりそう

はいということでね、5兆年ぶりにF*を書いていきたいと思うんですけれども

艮 鮟鱇 boosted

人募集はいちおうたぶんガチなのでこの辺のくそも更新されていないサイトを見て興味あれば virtualtech.jp/

以前F#で書いたDiscord用代読BotをElixirに移植中

Show thread

いやQlownは依存型も入ってるしそれ以上のものになってるんだけど、あれは完全にいきあたりばったりに書いてしまったので、ちゃんと操作的意味論から出発して型検査アルゴリズムを定義してから実装に起こすというやつをやりたい

Show thread

System Fωの実装を一度やってみたいね

艮 鮟鱇 boosted

ソフトバンク、新ブランド「LINEMO」発表 -- 月2480円に値下げ、LINEなら通話し放題 - CNET Japan japan.cnet.com/article/3516665

2021年02月18日 10時38分

“サービス発表時、20GBと5分の通話定額を組み合わせて月額2980円で案内していたが、5分の通話定額を月額500円のオプションとして分離することで、月額2480円に値下げ。国内通話は30秒20円で提供するなど、povoに真っ向から対抗する内容となる。さらに、テザリングや国際ローミングに対応。契約事務手数料、SIM交換・再発行、MNP転出手数料、契約解除料すべて0円で提供する。

LINEならではの特徴として、LINEで使用するデータ通信量をカウントしない「LINEギガフリー」に対応。トークだけでなく、音声通話やビデオ通話もデータを消費せずに利用できる。”

減らなかったらまぁ全員倍速で喋れば大丈夫だよ :thinking_neko:

Show thread

典型的には発表者が半分くらいに減るので大丈夫だよ知らんけど>!w

いえーい(良いことがあった)

前二回よりも普通にアクセス減ってた

Show thread

今日GPAポケモンの日やってんな

これを指定するというよりは、60sより短い間隔でping飛ばさんかいという感じか。しかしWebSocketのping frameはJSで遅れないという

Show thread

Nginxくん proxy_read_timeout 指定しないと60sでWebSocketの接続切れるんだなぁ

久しぶりにF*書くかぁと思ったら諸々がコンフリクトしてシンだ

Show older
わくわく鮟鱇ランド

わくわく鮟鱇ランドは、住民が皆わくわくしているマストドンです。登録は艮鮟鱇の身内に制限されています。