08:07:13 @omasanori@mstdn.maud.io
icon

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

SRFI 241: Match — Simple Pattern-Matching Syntax to Express Catamorphisms on Scheme Data
08:08:23 @omasanori@mstdn.maud.io
2022-11-11 08:07:50 結城浩(サブアカウント)の投稿 hyuki0000@mstdn.jp
icon

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

08:10:49 @omasanori@mstdn.maud.io
2022-11-11 08:09:19 結城浩(サブアカウント)の投稿 hyuki0000@mstdn.jp
icon

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

08:43:05 @omasanori@mstdn.maud.io
2022-11-10 13:54:48 まぜうさぎ🔞の投稿 maze_mix@pawoo.net
icon

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

09:08:19 @omasanori@mstdn.maud.io
2022-11-11 08:50:48 画眩の投稿 ggagen@pawoo.net
icon

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

09:08:29 @omasanori@mstdn.maud.io
2022-11-11 08:50:51 画眩の投稿 ggagen@pawoo.net
icon

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

09:08:54 @omasanori@mstdn.maud.io
2022-11-11 09:04:07 Masayuki Hattaの投稿 mhatta@mastodon.social
icon

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

09:09:49 @omasanori@mstdn.maud.io
icon

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

09:11:48 @omasanori@mstdn.maud.io
2022-11-11 09:07:14 Ryuseiの投稿 mandel59@pleroma.ryusei.dev
icon

世の中の人間の読解能力には幅があるから、実践的には危なっかしい発言は最初から避けておくべきだとは思いますが…

09:11:53 @omasanori@mstdn.maud.io
2022-11-11 09:08:20 Ryuseiの投稿 mandel59@pleroma.ryusei.dev
icon

「個人的に炎上したくないから、危なっかしい発言は最初から避けておく」という戦略をみんながみんな取っていたら、社会問題に関する議論なんて永遠にまともに進まないだろ、という感じがある

09:11:57 @omasanori@mstdn.maud.io
2022-11-11 09:09:33 Ryuseiの投稿 mandel59@pleroma.ryusei.dev
icon

ただ、話のつかみでしかない部分で炎上するのは意味がないし、それは避けていいよな

09:12:48 @omasanori@mstdn.maud.io
2022-11-11 09:10:41 Ryuseiの投稿 mandel59@pleroma.ryusei.dev
icon

社会全体の読解力が低い状態でセンシティブな議論を本当にしたい場合は、「オブラートに包む」と呼ばれる、議論の難読化技法を使うことで、読解力の高い人間にだけ議論を届けるよう調整する方法があります

11:51:41 @omasanori@mstdn.maud.io
2022-11-11 11:46:58 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

11:55:12 @omasanori@mstdn.maud.io
icon

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

12:24:34 @omasanori@mstdn.maud.io
2022-11-11 12:23:23 Keᷟiͣzᷤoͭuͦ@6ͩ4ͦ0ᷠ0の投稿 keizou@mstdn.guru
icon

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

12:25:53 @omasanori@mstdn.maud.io
2022-11-11 12:22:27 uwabami✅の投稿 uwabami@junkhub.org
icon

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

12:26:45 @omasanori@mstdn.maud.io
icon

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

12:29:34 @omasanori@mstdn.maud.io
icon

大正忌憚魔女 第2話 / うさみみき nico.ms/mg683037

12:30:14 @omasanori@mstdn.maud.io
2022-11-11 12:30:03 やまこの投稿 yamako@fedibird.com
icon

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

12:34:39 @omasanori@mstdn.maud.io
2022-11-09 22:11:42 やっとアドカレの記事書き終えた人の投稿 Akira_soraw1818@fedibird.com
icon

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

12:38:07 @omasanori@mstdn.maud.io
icon

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

エ口いだけじゃない(はず!!)ブルーアーカイブ youtu.be/a9F6B9zSnvc

Attach YouTube
12:39:25 @omasanori@mstdn.maud.io
2022-11-11 12:31:05 Eugen Rochkoの投稿 Gargron@mastodon.social
icon

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

12:39:36 @omasanori@mstdn.maud.io
2022-11-10 17:49:26 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

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

12:41:14 @omasanori@mstdn.maud.io
icon

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

12:41:21 @omasanori@mstdn.maud.io
2022-11-10 16:29:06 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

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

12:45:14 @omasanori@mstdn.maud.io
2022-11-11 12:44:41 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

「エディタ × 言語拡張」から「LSP対応エディタ + LSP 言語サーバー」という構図になるというビジョンがそれなりに実現されている

12:48:00 @omasanori@mstdn.maud.io
2022-11-11 12:45:38 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

VSCode とかは結局専用の拡張が生えがちであるけど理論上は syntax highlight も LSP で扱える(その情報を活用している拡張もある)からねえ

12:52:38 @omasanori@mstdn.maud.io
icon

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

Web site image
Open VSX Registry
12:53:48 @omasanori@mstdn.maud.io
icon

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

12:54:00 @omasanori@mstdn.maud.io
2022-11-10 19:51:10 しおまねき(14)✨🦀の投稿 azel_skydart@pawoo.net
icon

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

12:54:33 @omasanori@mstdn.maud.io
12:54:56 @omasanori@mstdn.maud.io
2022-11-09 21:16:00 夜ないの投稿 yoru_nine@pawoo.net
icon

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

12:55:06 @omasanori@mstdn.maud.io
2022-11-11 12:54:01 抑圧の投稿 Niceratus@pawoo.net
icon

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

13:00:11 @omasanori@mstdn.maud.io
2022-11-11 07:42:11 モンテカルロキャサリンたかしの投稿 foomidori@pawoo.net
icon

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

13:00:22 @omasanori@mstdn.maud.io
2022-11-11 07:36:24 モンテカルロキャサリンたかしの投稿 foomidori@pawoo.net
icon

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

13:00:43 @omasanori@mstdn.maud.io
2022-11-11 13:00:20 Masayuki Hattaの投稿 mhatta@mastodon.social
icon

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

13:02:42 @omasanori@mstdn.maud.io
2022-11-11 10:25:24 おさの投稿 osapon@mstdn.nere9.help
icon

完全に呪文詠唱だ。
「Hey, GitHub! 」でコーディングして実行。GitHubが音声制御機能をプレビュー公開 | テクノエッジ TechnoEdge
techno-edge.net/article/2022/1

Web site image
「Hey, GitHub! 」でコーディングして実行。GitHubが音声制御機能をプレビュー公開 | テクノエッジ TechnoEdge
13:02:46 @omasanori@mstdn.maud.io
2022-11-11 10:55:25 抑圧の投稿 Niceratus@pawoo.net
icon

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

13:04:36 @omasanori@mstdn.maud.io
icon

Emacspeakかな

13:04:56 @omasanori@mstdn.maud.io
2022-11-11 13:03:48 ドッグの投稿 Linda_pp@mstdn.jp
icon

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

13:05:09 @omasanori@mstdn.maud.io
2022-11-10 22:36:27 すみませんの投稿 sunlight@pawoo.net
icon

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

13:07:14 @omasanori@mstdn.maud.io
icon

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

Attach YouTube
13:32:31 @omasanori@mstdn.maud.io
2022-11-11 13:29:10 :0232_1: 高橋夏希《Natsuki》の投稿 natsuki@pokemon.mastportal.info
icon

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

13:32:33 @omasanori@mstdn.maud.io
2022-11-11 13:32:01 やまこの投稿 yamako@fedibird.com
icon

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

13:32:54 @omasanori@mstdn.maud.io
icon

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

13:34:14 @omasanori@mstdn.maud.io
icon

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

14:32:45 @omasanori@mstdn.maud.io
2022-11-11 03:20:58 O-157 新刊既刊通販中の投稿 kaiser@unkomaker.hostdon.ne.jp
icon

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

14:32:47 @omasanori@mstdn.maud.io
2022-11-10 17:53:47 O-157 新刊既刊通販中の投稿 kaiser@unkomaker.hostdon.ne.jp
icon

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

14:33:52 @omasanori@mstdn.maud.io
icon

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

Attach YouTube
14:45:24 @omasanori@mstdn.maud.io
2022-11-11 14:44:35 Spice/megaの投稿 Spice_mega@pawoo.net
icon

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

14:53:26 @omasanori@mstdn.maud.io
2022-11-11 14:49:23 あしゅふぃの投稿 ashphy@mstdn.nere9.help
icon

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

14:53:56 @omasanori@mstdn.maud.io
icon

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

14:59:50 @omasanori@mstdn.maud.io
2022-11-11 14:59:22 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

TypeScript の型システムがやたら複雑なのは人類がそれまでに生産してきた JavaScript のコードが型的にめちゃくちゃであることを反映していますよ(?)

14:59:54 @omasanori@mstdn.maud.io
icon

:very_sad:

16:05:40 @omasanori@mstdn.maud.io
2022-11-11 16:03:54 ひろろの投稿 Heibonn_hiroro@pawoo.net
icon

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

16:07:13 @omasanori@mstdn.maud.io
icon

😎

16:21:10 @omasanori@mstdn.maud.io
icon

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

16:25:15 @omasanori@mstdn.maud.io
2022-11-11 16:23:45 もちゃ(あと-16.45Kg)の投稿 mot@mastodon.motcha.tech
icon

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

16:27:04 @omasanori@mstdn.maud.io
icon

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

16:28:16 @omasanori@mstdn.maud.io
icon

contagious

16:29:42 @omasanori@mstdn.maud.io
icon

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

16:30:46 @omasanori@mstdn.maud.io
icon

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

16:32:05 @omasanori@mstdn.maud.io
2022-11-11 16:31:35 もちゃ(あと-16.45Kg)の投稿 mot@mastodon.motcha.tech
icon

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

16:32:12 @omasanori@mstdn.maud.io
icon

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

16:34:12 @omasanori@mstdn.maud.io
icon

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

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

Web site image
What every computer scientist should know about floating-point arithmetic | ACM Computing Surveys
16:37:23 @omasanori@mstdn.maud.io
icon

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

16:39:28 @omasanori@mstdn.maud.io
icon

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

16:44:11 @omasanori@mstdn.maud.io
2022-11-11 16:39:20 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

IEEE754 、powf の挙動とかには規定なし?

16:45:08 @omasanori@mstdn.maud.io
icon

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

16:55:44 @omasanori@mstdn.maud.io
icon

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

17:25:36 @omasanori@mstdn.maud.io
2022-11-11 17:22:25 酸性雨の投稿 acid_rain@amefur.asia
icon

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

18:57:57 @omasanori@mstdn.maud.io
2022-11-11 18:54:02 酸性雨の投稿 acid_rain@amefur.asia
icon

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

18:58:38 @omasanori@mstdn.maud.io
icon

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

18:59:18 @omasanori@mstdn.maud.io
2022-11-11 18:45:26 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

18:59:25 @omasanori@mstdn.maud.io
2022-11-11 18:57:42 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

パーサーっぽいと思ったらやはりそういう思想なのか

> Functional approach: parse, don't validate

Parse, don’t validate
lexi-lambda.github.io/blog/201

19:06:16 @omasanori@mstdn.maud.io
icon

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

19:11:34 @omasanori@mstdn.maud.io
icon

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

Web site image
第4世代EPYCのキモはダイサイズの小ささにあり。AMD発表会レポート
19:17:42 @omasanori@mstdn.maud.io
2022-11-11 19:17:04 No Goldの投稿 aiwas@yysk.icu
icon

必ずアプリを削除して!! 『対魔忍GOGO!』に関する重大な問題発生 公式から正式発表 appbank.net/2022/11/11/iphone-

そんなことあるんだ

Web site image
必ずアプリを削除して!! 『対魔忍GOGO!』に関する重大な問題発生 公式から正式発表 | AppBank
19:25:32 @omasanori@mstdn.maud.io
2022-11-11 19:24:28 ぼろんじ(100tpt)の投稿 boronology@social.penguinability.net
icon

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

19:25:39 @omasanori@mstdn.maud.io
icon

わるい先生

19:26:48 @omasanori@mstdn.maud.io
2022-11-11 18:58:58 Solène :flan_hacker:の投稿 solene@bsd.network
icon

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

19:51:00 @omasanori@mstdn.maud.io
2022-11-11 19:38:13 大破の投稿 musashino205@mstdn.maud.io
icon

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

19:52:40 @omasanori@mstdn.maud.io
2022-11-11 19:49:46 酸性雨の投稿 acid_rain@amefur.asia
icon

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

20:11:46 @omasanori@mstdn.maud.io
2022-11-11 19:43:02 フジイユウジの投稿 fujii_yuji@mstdn.fujii-yuji.net
icon

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

20:11:51 @omasanori@mstdn.maud.io
2022-11-11 20:10:36 つぁいにゃおの投稿 cai@fedibird.com
icon

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

20:11:56 @omasanori@mstdn.maud.io
2022-11-11 20:11:15 つぁいにゃおの投稿 cai@fedibird.com
icon

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

21:29:52 @omasanori@mstdn.maud.io
2022-11-11 21:25:14 Masayuki Hattaの投稿 mhatta@mastodon.social
icon

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