2019-10-06 01:25:17 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 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
2019-10-06 04:57:18 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 16:31:03 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 16:38:19 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 17:01:31 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 17:04:30 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 17:07:44 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 20:24:28 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 20:25:25 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 20:29:27 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 20:46:00 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 21:05:19 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 21:05:51 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 21:07:12 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 21:26:18 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 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
2019-10-06 21:46:22 @azyobuzin@mstdn.maud.io
icon

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

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

2019-10-06 21:51:01 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 21:58:32 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 22:00:35 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 22:02:19 @azyobuzin@mstdn.maud.io
icon

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

2019-10-06 22:21:33 @azyobuzin@mstdn.maud.io
icon

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

2019-10-07 00:10:53 @azyobuzin@mstdn.maud.io
icon

初手 switch にはならないのか

Attach image
2019-10-07 00:46:45 @azyobuzin@mstdn.maud.io
icon

Expr.TupleGet に対応する操作、 F# の構文にタプルの要素を fst, snd, パターンマッチを使わずに取り出すものがないから、 <@ @> のクオートで一発で書けないのか

2019-10-07 11:43:55 @azyobuzin@mstdn.maud.io
icon

ところで前に僕は Edge のことを優秀な EPUB リーダーと称してたんですけど、最近 EPUB リーダー機能は終わるから他を当たってくれって警告が出るようになって泣いた

2019-10-07 12:28:32 @azyobuzin@mstdn.maud.io
icon

@MayoToya そうじゃん! 本みたいに読めるんじゃん!

2019-10-07 12:49:43 @azyobuzin@mstdn.maud.io
icon

Xperia の番号を並び順カラムのクソ実装みたいにするな(?)

2019-10-07 12:50:41 @azyobuzin@mstdn.maud.io
icon

水も滴るいいレターパック

2019-10-07 12:58:55 @azyobuzin@mstdn.maud.io
icon

今月まだ 7 日でこれはギガが厳しいな

Attach image
2019-10-07 13:01:16 @azyobuzin@mstdn.maud.io
icon

桁が違う

2019-10-07 16:41:49 @azyobuzin@mstdn.maud.io
icon

Cygwin とか絶対に自分の環境に入れたくないので、 Docker の Windows コンテナに閉じ込めたい

2019-10-07 22:03:39 @azyobuzin@mstdn.maud.io
icon

おなかすいたよー

2019-10-08 03:23:29 @azyobuzin@mstdn.maud.io
icon

ドキドキオペレーション

Attach image
2019-10-08 03:39:02 @azyobuzin@mstdn.maud.io
icon

Recommendations 拡張を殺したら平和になった

2019-10-08 03:49:53 @azyobuzin@mstdn.maud.io
2019-10-08 03:44:25 まちカドおるみん御嬢様님의 게시물 orumin@mstdn.maud.io
icon

Nextcloud アップデート直後に様々な apps をおすすめ通知してくるやつだ

2019-10-08 03:50:13 @azyobuzin@mstdn.maud.io
icon

Recommendations、そっちじゃなくて、最近使ったファイルとか表示してくるやつです

2019-10-08 03:54:43 @azyobuzin@mstdn.maud.io
icon

メモリが完全にやばいっすね……

Attach image
2019-10-08 03:55:51 @azyobuzin@mstdn.maud.io
icon

睡眠時間を完全に考慮してなかった

2019-10-08 04:19:21 @azyobuzin@mstdn.maud.io
icon

何かをググってから寝ようと思ってたけど忘れた

2019-10-08 04:25:12 @azyobuzin@mstdn.maud.io
icon

1日の長さが足りてない

2019-10-08 12:31:08 @azyobuzin@mstdn.maud.io
icon

獲得予定 10/5 とは

Attach image
2019-10-08 13:11:37 @azyobuzin@mstdn.maud.io
icon

セルフレジのイートインボタン、いちいち口頭でどれを食べてどれを持って帰るか言わなくてよくて、妥協中の最高だと思う

2019-10-08 21:09:28 @azyobuzin@mstdn.maud.io
icon

楽天は過去から学んで、必ずキャンペーンにエントリーするときにメルマガ必須のものは、エントリーボタンの近くにメルマガ情報が書いてある。学んでない他社は隠そうとする

2019-10-08 21:13:36 @azyobuzin@mstdn.maud.io
icon

PS5、スパンとしては PS3 → PS4 くらいの時間が経っているけれど、コンピュータとしての構成があんまり変わってない(適当言ってるので殺されそう)あたり、本当に成熟したなぁ

2019-10-09 01:35:01 @azyobuzin@mstdn.maud.io
icon

@MayoToya 次回作に期待(してもそうはならんやろなぁ……

2019-10-10 23:40:25 @azyobuzin@mstdn.maud.io
icon

浸水したらゲームできなくなるし、今のうちに FM7 で遊んでおくか(?)

2019-10-10 23:41:15 @azyobuzin@mstdn.maud.io
icon

ウィーナー・ヒンチンの定理を久々に使うことになって、またゲラゲラ笑ってた話

2019-10-12 02:18:44 @azyobuzin@mstdn.maud.io
icon

$0.01、請求来るのか?

Attach image
2019-10-12 03:50:50 @azyobuzin@mstdn.maud.io
icon

会社の技術ブログとかいう存在、下手なやってみた系と下手な文章が合わさった瞬間、会社自体の印象が地に落ちるから気をつけようね