SRFI 241: Match — Simple Pattern-Matching Syntax to Express Catamorphisms on Scheme Data
https://srfi.schemers.org/srfi-241/srfi-241.html

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Adaは良い言語。SPARKもなかなか面白いし。

このアカウントは、notestockで公開設定になっていません。

他に収入がなく保険料や年金、医療費などの控除が受けられるなら払い過ぎている状態になるのでその分を相殺するし、他に収入があればそれも記入して計算に含めるという認識

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Lenovo、なぜThinkPad以外にのみ存在する脆弱性が何度も見つかるのか謎

大正忌憚魔女 第2話 / うさみみき http://nico.ms/mg683037 #ニコニコ漫画

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

人間としてダメな特定のマニア配信すき

エ口いだけじゃない（はず！！）ブルーアーカイブ https://youtu.be/a9F6B9zSnvc

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

LSPはMicrosoftの近年の取り組みの中でも社会への貢献度がかなり高いし、VSCodeそのものよりも大きな貢献かもしれないと思う。

このアカウントは、notestockで公開設定になっていません。

VSCodeのMarketplaceからVSCode互換エディタ（VSCodiumのようなフォークを含む）に拡張機能をインストールすることはMarketplaceの規約で禁止されているので、Open VSX Registry https://open-vsx.org/ にもアップロードされているとうれしい。

@uwabami ThinkPadにその脆弱性がないなら、ThinkPad以外も同じようにやればいいはずなのになぜそうしないのかという意味で…！

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Emacspeakかな

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

SAFARI Live Sem. - Accelerating Irregular Applications via Efficient Synch. & Data Access Techniques https://youtu.be/uJ1-lua2Slk

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これ日本語版限定の別絵柄バージョンでは

以前の日本語版限定の別絵柄ではモンテカルロたかしさんも描いてた

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Expanding the RISC-V Horizon - 2022 RISC-V CON Silicon Valley https://youtu.be/oA4xKjhD57U

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

十分強力な型システムは難読プログラミング言語と見分けがつかない。

このアカウントは、notestockで公開設定になっていません。

😎

2進法の世界では1/10は無限小数なのでしかたないね

このアカウントは、notestockで公開設定になっていません。

どう訳すかむずかしいところだけど、原文はNaNが含まれる演算はNaNになる様子を伝染していくと捉えたものだと思う。

contagious

標準の丸めモードは切り上げでも切り捨てでもないと思う

切り上げ、切り捨て、四捨五入、……を総称することばとしての丸め

このアカウントは、notestockで公開設定になっていません。

コントリビューションチャンス

あの有名な文献を紹介するときが来たようなので紹介します。

What every computer scientist should know about floating-point arithmetic | ACM Computing Surveys
https://dl.acm.org/doi/10.1145/103162.103163

ACMが把握しているだけで1,000以上の被引用数、あまりにもつよい

ACM Computing Surveysを漁るのはやればやるだけ良いとされています

x ** y はIEEE 754じゃなくてISO/IEC 10967あたりに規定がありそう。

ISO/IEC 10967-2:2001の5.3.6.6にpower_F: F × F → F ∪ {underflow, overflow, infinitary, invalid} が定義されていた。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

実際、陽に状態を引数や返値にした方が伝わりやすいかもしれない。

@keizou 「Twitterネットワークの分散化を目指したもの」はBlueskyでは

第4世代EPYCのキモはダイサイズの小ささにあり。AMD発表会レポート - PC Watch
https://pc.watch.impress.co.jp/docs/news/1454993.html

このアカウントは、notestockで公開設定になっていません。

わるい先生

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。