なんで Map に comparison 制約が必要なの!! なんで Map って名前なのに中身が TreeMap なことむき出しなの!!
なんで Map に comparison 制約が必要なの!! なんで Map って名前なのに中身が TreeMap なことむき出しなの!!
nowarn したら戻せないし、 SuppressMessageAttribute も効かないのか https://github.com/fsharp/fslang-suggestions/issues/278
Xbox Live にお布施してないのになんでオンラインで遊べるんだろうと思ってたけど、 PC 版だと要らない感じなの?
動画のエンコードとか一切中身見たことないから知らないんだけど、前後のフレームとの差異を記録するアルゴリズムでどうして並列化できるのか全然わからん
昨日は土曜日なのに研究室に行ってぐわーっとコード書いてしまったので、今日はなにも気力が起きない……
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 コンテナに閉じ込めたい
セルフレジのイートインボタン、いちいち口頭でどれを食べてどれを持って帰るか言わなくてよくて、妥協中の最高だと思う
楽天は過去から学んで、必ずキャンペーンにエントリーするときにメルマガ必須のものは、エントリーボタンの近くにメルマガ情報が書いてある。学んでない他社は隠そうとする
PS5、スパンとしては PS3 → PS4 くらいの時間が経っているけれど、コンピュータとしての構成があんまり変わってない(適当言ってるので殺されそう)あたり、本当に成熟したなぁ
会社の技術ブログとかいう存在、下手なやってみた系と下手な文章が合わさった瞬間、会社自体の印象が地に落ちるから気をつけようね