01:25:17 @azyobuzin@mstdn.maud.io
icon

なんで Map に comparison 制約が必要なの!! なんで Map って名前なのに中身が TreeMap なことむき出しなの!!

03:45:42 @azyobuzin@mstdn.maud.io
icon

nowarn したら戻せないし、 SuppressMessageAttribute も効かないのか github.com/fsharp/fslang-sugge

Web site image
Allow F# compiler directives like #nowarn to span less than an entire file. · Issue #278 · fsharp/fslang-suggestions
04:57:18 @azyobuzin@mstdn.maud.io
icon

テストを書いたらバグがサクサク見つかりましたが、一方でテストを書く負担でかすぎます

16:31:03 @azyobuzin@mstdn.maud.io
icon

Xbox Live にお布施してないのになんでオンラインで遊べるんだろうと思ってたけど、 PC 版だと要らない感じなの?

16:38:19 @azyobuzin@mstdn.maud.io
icon

SIMD うまく使うのめっちゃ難しくて、パズルができる人に任せるしかない

17:01:31 @azyobuzin@mstdn.maud.io
icon

動画のエンコードとか一切中身見たことないから知らないんだけど、前後のフレームとの差異を記録するアルゴリズムでどうして並列化できるのか全然わからん

17:04:30 @azyobuzin@mstdn.maud.io
icon

Spotify の無料プレミアムが切れてしまったんだけど、広告が面白すぎる

17:07:44 @azyobuzin@mstdn.maud.io
icon

昨日は土曜日なのに研究室に行ってぐわーっとコード書いてしまったので、今日はなにも気力が起きない……

20:24:28 @azyobuzin@mstdn.maud.io
icon

dotnet-uninstall、 macOS で .NET Core 開発をするときにもっとも必要だったものだ github.com/dotnet/cli-lab/tree

20:25:25 @azyobuzin@mstdn.maud.io
icon

現状
> Mac 上では、SDK とランタイムを別々に削除する必要があります。そのためには、該当するバージョンを含むディレクトリを削除します。
docs.microsoft.com/ja-jp/dotne

20:29:27 @azyobuzin@mstdn.maud.io
icon

迷えるって素敵ね(絶対に英語書くのが嫌でコメント書かなくなるので、日本語で書く)

20:46:00 @azyobuzin@mstdn.maud.io
icon

Chocolatey、なんか胡散臭さがまた増してるし、 dotnet-tool か PowerShell の Install-Package で NuGet から落とすのが正解になってきたな……

21:05:19 @azyobuzin@mstdn.maud.io
icon

FSharp.Formatting の API リファレンスを出力するやつ、 C# の XML Documentation 形式で書いたやつは、 <paramref /> とか消えてるし、省略した型パラメータが地獄になってるし、そもそも見にくいに厳しいなこれ……

21:05:51 @azyobuzin@mstdn.maud.io
icon

docfx みたいなまともなツールないっすか?

21:07:12 @azyobuzin@mstdn.maud.io
icon

Microsoft.DocAsCode.Metadata.ManagedReference.FSharp ってあるじゃん、 docfx 行ける感じか!?

21:26:18 @azyobuzin@mstdn.maud.io
icon

Unrecognized option: '--langversion' 終わり終わり終わり~~~~~~~

21:44:09 @azyobuzin@mstdn.maud.io
icon

Rust の CString が作ったポインタを C の free で扱うのまずくない? github.com/kb10uy/shortstoryse

Web site image
shortstoryserver2/error.c at a9ae1feea43baec6cd2bc60c50dc333c816260e9 · kb10uy/shortstoryserver2
21:46:22 @azyobuzin@mstdn.maud.io
icon

pub struct CString {
inner: Box<[u8]>,
}

だから、理論上 Box のメモリ確保方法が free と対応するやりかたであれば、問題ないけれど、 CString 構造体自体の在り方は保証されていないのでは?

21:51:01 @azyobuzin@mstdn.maud.io
icon

CString も into_raw と from_raw があるから Box と同じやり方ができる

21:58:32 @azyobuzin@mstdn.maud.io
icon

x < 2 と書くか x <= 1 と書くかでめっちゃ迷う件

22:00:35 @azyobuzin@mstdn.maud.io
icon

暗黙的な型変換が行われると思うな(?)

22:02:19 @azyobuzin@mstdn.maud.io
icon

「2件以上ある」の逆の場合は x < 2 なんですかね

22:21:33 @azyobuzin@mstdn.maud.io
icon

ジャイアントコーン、「至福のひとくち目」とか、上のほうしかトッピングがないことに開き直りやがった