やることやったし、サーキット走りに行くか
マウントパノラマ、あんなに GT6 で走ったはずなのに、コースレイアウトの記憶がない……
10月になったので株主優待 ConoHa クーポン申し込んできた。1か月くらいかかるって書いてあるから、申請通っても10月分の請求には間に合わないのかな
Kyash の実質改悪は結構疑問で、 2% 還元は持続可能な事業って言ってたにも関わらず、このタイミングで切り替えたというのは、何が原因なのか気になる
まぁそもそもキャッシュバックバックを要求してくる会社がまともなわけないんですけど
VALUE-DOMAIN より ConoHa でドメイン取ったほうが安い……
MSStore 見たら Token2Shell とかいう SSH クライアントがセール中なんですけど、これ買いですか？
このアカウントは、notestockで公開設定になっていません。
えっ、 5% 還元ってネットショップも対象なの https://event.rakuten.co.jp/campaign/cashless/
Azure の BLOB ストレージをどんどん食っていってるのもなんとかしないとなぁと思いつつ、無限の余裕がないと手が出せないよ……
「一部のプログラマーにとって、これは最大かつ最速の勝利だ」
この言い回し好き https://japan.techrepublic.com/article/35143205-2.htm
楽天ペイでって言って困らせまくってた居酒屋、最近行ってないけど、さすがにもう国を上げてのキャッシュレスだし、あたふたせずやってくれるのかな
F# 4.7、メンバーの this に相当する部分をアンスコ1個にできるようになったってやつ、 internal 指定すると死ぬのなんでや
member _.PublicProperty = "Public!" // OK
member internal _.InternalProperty = "Internal!" // NG
merged yesterday…… oh…… https://github.com/dotnet/fsharp/pull/7631
楽天カード、お国からの還元が Apple Pay, Google Pay でも受けられるのかどこにも書いてなかったので、サポートに投げてみたけど、対象という回答が返ってきたので勝ち（つまり Kyash で QUICPay を使う理由がゼロになった……）
他のキャンペーンですぐ楽天カードが条件になるだろうから面倒だしやらんが
それはそれとして無駄遣いをやめろ（気分転換に学内ふらついてた結果、飲み物を買ってしまいがち）
@MayoToya これな〜（対象銀行口座もなければ、物理カード増やしたくもない
このアカウントは、notestockで公開設定になっていません。
別ブランチで作業してたのを master に突っ込んだら芝が激しくなった
手癖で打ってるけど、オプション覚えてないシリーズ
ps aux
git clean -dfx
つなぎ目もタッチ認識しそうだし、まずここに電子部品がありもろそう。キーボードがわけわからなすぎてもろそう。やべえやべえ
MS 製 Android アプリがまともになってきてたの、これの布石だったのか
折り畳みスマホ、手が届く値段になったら欲しいんだけど、いつになるんだろうね
Windows 電話のオタクがたたき起こされてるの見てるのめっちゃ楽しい
よくみてなかったので Windows OS X とやらがどんなのか全然把握してないが
replace する必要がない部分のスライスのリストを管理して、最後に結合すればアロケーションを減らせそう
2回走査して、 1回目に変換対象の出現回数を数えて、変換結果の文字列長を確定させて、2回目に実際に1文字ずつ見ながら変換を掛けた結果を作っていくほうが手っ取り早いか
「絶対全体」って歌詞、アイマスで大量に出てきたイメージがあったんだけど、ググっても DIAMOND しか出てこなかった。あれ？
またすんげえ細かい C# ハックコメントを見つけてしまって、どうしてそんなに細かいんだになった https://github.com/dotnet/corefx/blob/91eaf96eb6a5c8c78627cab378834753f4be833e/src/System.Collections.Immutable/src/System/Collections/Immutable/ImmutableArray_1.Builder.cs#L106-L118
クラス名が思いつかないときになんかいい感じにいい感じして、とりあえずコード書き進められる何かが欲しい
これ閉じタグにするべきでは？ https://github.com/kb10uy/shortstoryserver2/blob/12c8207d9d734df71fdf93a0e6107af227626fb4/packages/s3wf2-rs/src/emitter/html.rs#L38
諦めた形跡を見つけたので kb10uy になった。 CharacterSet を引き回せなかったってところか？ https://github.com/kb10uy/shortstoryserver2/blob/12c8207d9d734df71fdf93a0e6107af227626fb4/packages/s3wf2-rs/src/emitter/html.rs#L98
進捗に追われてると、だんだん GC がない環境を考えている暇がないという気持ちになってくる件
よくわかんないけど、 Zen って名前の Zig で書かれた OS が出てきた
そもそも上限をファイルサイズで決めると、動画 40MB バトルとかされるように、上限ギリギリでアップロードしてきやがるし、良くない
Termius が GitHub Student Pack でタダで使えて完璧
CentOS 触ってたんですけど、 SELinux に殺されるというのを初めて経験した
> お支払いの際、楽天Edyの残高全てが引き落としされます
https://edy.rakuten.co.jp/recommend/gs/
は？？？？？？？？？
残高全部持っていかれたあと、ｽｯと大量にチャージして、おつりを戻そうとすると上限オーバーさせるバグ技誰かやってほしい
そもそも無呼吸で投げ始めたのにリプライが付いていても、最初からすべてがぶっ壊れているので、軌道修正もくそもなくぶっ壊れているのが僕の発言だしな……
フォアグラウンドアプリを優先、デフォルトでオフでしょ？ 難易度高くない？
うちの環境は、iPad Air 2とWindows10の組み合わせだったんだけど、何をやってもDuet Displayが認識してくれなかった。
増税分 2% は軽減税率制度の運用のために使われました、とかやってほしい
Duet、有線では使えて、ゲームしながら他のアプリが使えて便利すげえになったんだけど、無線はそもそも Air の購入ボタンすらないが？になった
Duet、ドライバーインストール時に Windows の確認画面出てこなかったけど、どうなってるんだと思ったら、ユーザーモードだこいつ！ へーユーザーモードでディスプレイドライバー書けるのか
接続時にデバイスの追加・削除をするバスドライバの部分は MS によって認定を受けて署名してもらうやつで通してあって、頻繁にアップデートするメインのディスプレイアダプタ部分は UMDF で実装することで、認定も要らずにバンバンインストールさせられるって感じかな？
思い出した、 Jil の作者だ https://github.com/kevin-montrose/LinqAF
100MB/s で SS を書かないと追い付かない！！！！！（？？？？？？）
そんなに大量の文字列を処理しないから、 100MB/s が速いのかどうかの判断ができない問題がある
というかデータサイズ的に、ストレージのほうの速度で頭打ちになってない？
そもそもテキストファイルを読んで、 String に変換するような実装は、大容量を扱うようなバッファーの使い方してないだろうから、ストレージのシーケンシャルなベンチマークよりもずっと遅いと思うよ
regex crate ってコンパイル時正規表現コンパイルマクロなかったっけ？
HACKING.md によると、dynamic regex のほうが速くなったので爆破した(意訳)みたいなことが書いてある
高速化、何をもって高速化と呼ぶかですが、 kbs3 の実体的には、 5000文字を最速に HTML に変換できることが一番大事です
FFI として使えるようにすることで、他のアプリにねじ込むのを目的にしていきましょう
最近の F# の進捗なんですけど、アクティブパターンの使い方を覚えたら便利すぎて多用するマンになってしまった
AP しゃべるやつがあると、自動的に本文のバージョン管理にもなって便利
Plume が本文が Article、 Mastodon から見えるのが Note で、編集すると Article の Update アクティビティが飛んでいくとかそんな感じじゃなかったっけ？ スーパー適当言ってるかも
いい加減テスト書くかって言って、テストライブラリどれ使えばいいのになったんだけど、 Expecto と xUnit どっちいくべきですかね？
アスキーアート作るの苦手なんだけど、プログラムのコメントにグラフ描いておきたいんだけど、どうしたらいいんだ
なんで Map に comparison 制約が必要なの！！ なんで Map って名前なのに中身が TreeMap なことむき出しなの！！
nowarn したら戻せないし、 SuppressMessageAttribute も効かないのか https://github.com/fsharp/fslang-suggestions/issues/278
テストを書いたらバグがサクサク見つかりましたが、一方でテストを書く負担でかすぎます
Xbox Live にお布施してないのになんでオンラインで遊べるんだろうと思ってたけど、 PC 版だと要らない感じなの？
SIMD うまく使うのめっちゃ難しくて、パズルができる人に任せるしかない
動画のエンコードとか一切中身見たことないから知らないんだけど、前後のフレームとの差異を記録するアルゴリズムでどうして並列化できるのか全然わからん
Spotify の無料プレミアムが切れてしまったんだけど、広告が面白すぎる
昨日は土曜日なのに研究室に行ってぐわーっとコード書いてしまったので、今日はなにも気力が起きない……
dotnet-uninstall、 macOS で .NET Core 開発をするときにもっとも必要だったものだ https://github.com/dotnet/cli-lab/tree/master/src/dotnet-core-uninstall
現状
> Mac 上では、SDK とランタイムを別々に削除する必要があります。そのためには、該当するバージョンを含むディレクトリを削除します。
https://docs.microsoft.com/ja-jp/dotnet/core/versions/remove-runtime-sdk-versions?tabs=macos
迷えるって素敵ね（絶対に英語書くのが嫌でコメント書かなくなるので、日本語で書く）
Chocolatey、なんか胡散臭さがまた増してるし、 dotnet-tool か PowerShell の Install-Package で NuGet から落とすのが正解になってきたな……
FSharp.Formatting の API リファレンスを出力するやつ、 C# の XML Documentation 形式で書いたやつは、 <paramref /> とか消えてるし、省略した型パラメータが地獄になってるし、そもそも見にくいに厳しいなこれ……
Microsoft.DocAsCode.Metadata.ManagedReference.FSharp ってあるじゃん、 docfx 行ける感じか！？
Unrecognized option: '--langversion' 終わり終わり終わり～～～～～～～
Rust の CString が作ったポインタを C の free で扱うのまずくない？ https://github.com/kb10uy/shortstoryserver2/blob/a9ae1feea43baec6cd2bc60c50dc333c816260e9/packages/ffi-samples/error.c#L40
pub struct CString {
inner: Box<[u8]>,
}
だから、理論上 Box のメモリ確保方法が free と対応するやりかたであれば、問題ないけれど、 CString 構造体自体の在り方は保証されていないのでは？
CString も into_raw と from_raw があるから Box と同じやり方ができる
from_raw、 strlen が走るのか https://github.com/rust-lang/rust/blob/0358617e3f77e033c86139104c5c48a777824b08/src/libstd/ffi/c_str.rs#L408
ジャイアントコーン、「至福のひとくち目」とか、上のほうしかトッピングがないことに開き直りやがった
Expr.TupleGet に対応する操作、 F# の構文にタプルの要素を fst, snd, パターンマッチを使わずに取り出すものがないから、 <@ @> のクオートで一発で書けないのか
Chromium ベースになった Edge、 Chredge と呼ぶらしい https://japan.zdnet.com/article/35143543/3/
ところで前に僕は Edge のことを優秀な EPUB リーダーと称してたんですけど、最近 EPUB リーダー機能は終わるから他を当たってくれって警告が出るようになって泣いた
Cygwin とか絶対に自分の環境に入れたくないので、 Docker の Windows コンテナに閉じ込めたい
Recommendations、そっちじゃなくて、最近使ったファイルとか表示してくるやつです
セルフレジのイートインボタン、いちいち口頭でどれを食べてどれを持って帰るか言わなくてよくて、妥協中の最高だと思う
楽天は過去から学んで、必ずキャンペーンにエントリーするときにメルマガ必須のものは、エントリーボタンの近くにメルマガ情報が書いてある。学んでない他社は隠そうとする
PS5、スパンとしては PS3 → PS4 くらいの時間が経っているけれど、コンピュータとしての構成があんまり変わってない（適当言ってるので殺されそう）あたり、本当に成熟したなぁ
浸水したらゲームできなくなるし、今のうちに FM7 で遊んでおくか（？）
ウィーナー・ヒンチンの定理を久々に使うことになって、またゲラゲラ笑ってた話
会社の技術ブログとかいう存在、下手なやってみた系と下手な文章が合わさった瞬間、会社自体の印象が地に落ちるから気をつけようね
NERVの「台風は消滅しました」は、強い低気圧はまだそこにあるのに何言ってんだ感が強いって100万回言った
サーバー管理フォームに変身したら、さくっと Ansible Playbook が完成したりしませんかね？
Debian のインストールオプションで SSH Server 以外全部消したら man すら入ってないんですね
Pleroma maint/1.1 の Dockerfile、ちゃんと動くし、扱いやすいしいいですね。ドキュメントはまだないけど
Gitea の compare ページ、 PR の作成画面だからログインしてないと見れないっていうの不便だなぁ
インターネット遅すぎて、裏でダウンロードを走らせていた事実すら忘れてた
Mastodon で RAILS_ENV=production にすると自動で組み込まれてブチ切れるけど、しかし自分で用意するのはそこそこ面倒だったやつです https://github.com/azyobuzin/coroxy
iptables とかいじり始めると、どうせ Ubuntu は cloud-init まわりによって設定永続化のお作法が全然違うけど、ドキュメントどこじゃになるいつものやつの予感がするし Debian にすればよかったね……
Ubuntu、バージョンを問わなければ日本語情報は大量に落ちているけれど、最新バージョンに追従すると、もはやどこから探したらいいのかすらわからんし、とりあえず Debian Wiki 見ればなんとかなる Debian のほうがいいねってなりがち
18.04 以降の Ubuntu Server は Infrastructure
as Code のために cloud-init で頑張るマンしか使いこなせないでしょ
このアカウントは、notestockで公開設定になっていません。
Pleroma 1.1 に Oban（ジョブキューがインメモリではなく Postgres に乗る）が入らなかったので、 develop 追従ある
CPU 使用率が 100% に張り付いていて、良いプログラムを書いたなぁという気持ちになってる（明示的に SIMD を使ってないのでまだ微妙だけど）
Python 3.8 の f'{hoge=}' のやつ、 format 関数じゃなくて言語仕様のほうに入れちゃったんですか……
このアカウントは、notestockで公開設定になっていません。
Excel 衝撃の仕様なんだけど、違うディレクトリの同じファイル名のファイルを同時に開けない
東京の住所、皇居を原点とした極座標で表すべきだって5000兆回言った
Windows Virtual Desktop で Win7 の延長サポートが無料なあたり、 WinServer 2008 と同じように、まずクラウド化させて囲い込んだ上で、 Azure 上でリプレースさせようって戦略なのかね
最初の視界でブロックを有効にする https://docs.microsoft.com/ja-jp/windows/security/threat-protection/windows-defender-antivirus/configure-block-at-first-sight-windows-defender-antivirus
パスワード、どうしていつまでも英数字限定なの？ 日本語使えばいろんなパターンできるじゃん？
（ただし Unicode 正規化をしないと入力環境によって異なってしまうのでハッシュ比較ができなくなるのと、正規化をしたときに使った Unicode のバージョンを記録しておかないと正規化結果が変わる危惧があるのはわかる）
これまだ動くんだ（僕がまだ GNU social にいた頃に Mastodon の LTL が見たくて作ったやつ） https://junk.azyobuzi.net/mastodonptl/
Git、親コミットが違うコミットを、 remote の同名ブランチに push する行為はすべて衝突
脳内でステップ実行できないのに書いたプログラムは大抵手戻りになります
ア（メモリ8GBだけど、2GBがグラフィックに持っていかれていることに気づいて絶望した）
Surface Pen で筆圧までいけることは確認したけど、ペンのボタンを認識させるためのリンクはできないのかなぁ
Windows Update したら BitLocker 回復キー入れろや言われて、これ普通の人セットアップできるの？？になってる
さすがにグラフィックにこんなにメモリ奪われるわけにはいかないと思って設定を探し回ったけど、成果なし
UMA Buffer Size とかいう設定項目だということはわかったけど、そんなものなかった
新しいﾋﾟｯｼ、 BackSpace だと思って押した場所が Home
Windows Ink ワークスペース、パッとしなかったのが、なんかいつの間にか Microsoft Whiteboard とかいう結構いい感じのアプリになってた
最近は Ubuntu やめろって言うマンになった（cloud-init と戦いたくないので）
せっかく SSD 512GB のマシマシ環境にした代わりにメモリが少ないので、デュアルブートにすることですべてを解決させる方法に出ようかとは思っているが、その労力を払う元気が
Windows 10 Home だし、久々に Hyper-V じゃなくて VirtualBox 使うことになりそうだなぁ
株主優待で鯖代が賄われている Pleroma 鯖については、オープン登録してないので、声かけてもらったら垢作れます（まだ CAPTCHA を仕込んでないため）
リカバリメディアのイメージ作ってバックアップしておきつつ、 Education にアップグレードさせるのはアリだな
充電してると電源が入ってなくてもファンが回るPCなんて初めてだよ……
Win+B 押しながら電源入れると BIOS リカバリになるっていうのに従ったら、リカバリモードに入らずそのままファンが止まった。そのあと電源入れたら普通に動き出した。謎。
k3s 0.10.0、盛りだくさんというか、なかなか実用的になってきたな https://github.com/rancher/k3s/releases/tag/v0.10.0
> we see a node before we see any other nodes reachable from it; for this reason, RPO is useful in many algorithms
https://eli.thegreenplace.net/2015/directed-graph-traversal-orderings-and-applications-to-data-flow-analysis/
ほーん
> 画面端からのスワイプが「戻る」に割り当てられたことで、3本線アイコンのメニュー（ハンバーガーメニュー）を横から引き出す操作とかぶってしまっている
https://www.itmedia.co.jp/news/articles/1910/23/news060_2.html
操作デザインとして終わりでしょ
GUI っていうのは使い方を覚えるものではなく、そこにあるものを押せるものなんだよという強い気持ちを持っているので、本当にジェスチャーが嫌い
Pleroma のやさしいにほんご、あれ本当にちゃんと初級日本語になってるの？
Pijul 触ってみたいんだけど、 VCS を触るためだけにまわすプロジェクトはないみたいな気持ちになる
今更量子コンピュータリスクがBTCの価格に織り込まれるの、市場は馬鹿だということがよくわかって良い
メモリ不足の Azure 仮想マシンで動いてる CodiMD からのレスポンスが遅すぎる（スワップから読みに行ってるけど、ディスクが尋常じゃなく遅いので）
meshi.azyobuzi.net とか Twitter ログインが死んでいてまったく使えないから落とすか
フロントも hyperapp のバージョン指定してなかったら新しいバージョンにアクセスするようになって動かなくなってて草
それはそれとして誰か昼飯ルーレットメンテして欲しいな。最近雑に松屋に行ってしまうので。存在を忘れてる店を思い出したい
Wikipedia めっちゃ便利だな。原著論文みて全然わからんって言ってたら、 Wikipedia の参考文献に別の解説文書が載っていて、しかもちゃんと ACM のシンポジウムのやつだった
作業開始前に git checkout -b でブランチ切ってから始めればいいのでは
Git、操作後のコミットツリーの予想ができない操作をするべきではないみたいな所がある。というか基本コマンドとして pull とかいう危険物が紹介されるのだめでしょ
あと rebase するより merge の fast-forward に頼ったほうが安全では
git fetch -p して、リモートの状態よし指差し確認してから、ワーキングツリー変更があるなら pull を、ないなら reset --hard を打ちがち
再掲: NextCloud使っている人は設定見直そうね、脆弱性報告出てるよ👉 https://nextcloud.com/blog/urgent-security-issue-in-nginx-php-fpm
「nuget の .config リファレンス」クソ翻訳で 575 になってる…… https://docs.microsoft.com/ja-jp/nuget/reference/nuget-config-file
@ltzz 他人の改変はわからないよ。 reflog は自分の操作ログだし、コミット日時もコマンドライン引数だったか環境変数で指定してコミットし直せるし
@ltzz あれは操作ログではなく、正確にはローカルの HEAD が示していたコミットのログなので
remote は remote の実装によるとしか。例えば GitHub には force push 禁止機能がある
そもそもコミット者の PC の時計に頼ってる時点で保証なんてなにもない
それこそ remote に全 push ログを取らせるでいいのでは。素の Git ならフックでスクリプト動かせるし、 GitHub なら webhook がある
だからフローとして、
1. 作業単位でブランチを切る
2. その作業についてレビューをする
3. 作業ブランチを共通ブランチ（master）にマージする
4. master への force push を許可しないことで、レビューで合意済みのコミットを改変できないようにする
というやり方が多いのでは
