2022-11-11
same day in other years
Previous year
Next year
08:07:13 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

https://srfi.schemers.org/srfi-241/srfi-241.html
SRFI 241: Match — Simple Pattern-Matching Syntax to Express Catamorphisms on Scheme Data
08:08:23 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 08:07:50 Posting 結城浩（サブアカウント） hyuki0000@mstdn.jp
icon

This account is not set to public on notestock.

08:10:49 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 08:09:19 Posting 結城浩（サブアカウント） hyuki0000@mstdn.jp
icon

This account is not set to public on notestock.

08:43:05 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 13:54:48 Posting まぜうさぎ🔞 maze_mix@pawoo.net
icon

This account is not set to public on notestock.

09:08:19 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 08:50:48 Posting 画眩 ggagen@pawoo.net
icon

This account is not set to public on notestock.

09:08:29 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 08:50:51 Posting 画眩 ggagen@pawoo.net
icon

This account is not set to public on notestock.

09:08:54 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 09:04:07 Posting Masayuki Hatta mhatta@mastodon.social
icon

This account is not set to public on notestock.

09:09:49 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

09:11:48 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 09:07:14 Posting Ryusei mandel59@pleroma.ryusei.dev
icon

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

09:11:53 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 09:08:20 Posting Ryusei mandel59@pleroma.ryusei.dev
icon

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

09:11:57 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 09:09:33 Posting Ryusei mandel59@pleroma.ryusei.dev
icon

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

09:12:48 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 09:10:41 Posting Ryusei mandel59@pleroma.ryusei.dev
icon

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

11:51:41 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 11:46:58 Posting Giraffe Beer giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

11:55:12 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

12:24:34 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:23:23 Posting Keᷟiͣzᷤoͭuͦ@6ͩ4ͦ0ᷠ0 keizou@mstdn.guru
icon

This account is not set to public on notestock.

12:25:53 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:22:27 Posting uwabami✅ uwabami@junkhub.org
icon

This account is not set to public on notestock.

12:26:45 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

12:29:34 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
http://nico.ms/mg683037 https://seiga.nicovideo.jp/watch/mg683037
大正忌憚魔女 第2話
12:30:14 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:30:03 Posting やまこ yamako@fedibird.com
icon

This account is not set to public on notestock.

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

This account is not set to public on notestock.

12:38:07 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

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

Attach YouTube
12:39:25 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:31:05 Posting Eugen Rochko Gargron@mastodon.social
icon

This account is not set to public on notestock.

12:39:36 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 17:49:26 Posting Ushitora Anqou anqou@mstdn.anqou.net
icon

This account is not set to public on notestock.

12:41:14 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

12:41:21 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 16:29:06 Posting Ushitora Anqou anqou@mstdn.anqou.net
icon

This account is not set to public on notestock.

12:45:14 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:44:41 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

12:48:00 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:45:38 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

12:52:38 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://open-vsx.org/
Open VSX Registry
12:53:48 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

12:54:00 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 19:51:10 Posting しおまねき（14）✨🦀 azel_skydart@pawoo.net
icon

This account is not set to public on notestock.

12:54:33 @omasanori@mstdn.maud.io
Original notestock Public page link
12:54:56 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-09 21:16:00 Posting 夜ない yoru_nine@pawoo.net
icon

This account is not set to public on notestock.

12:55:06 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 12:54:01 Posting 抑圧 Niceratus@pawoo.net
icon

This account is not set to public on notestock.

13:00:11 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 07:42:11 Posting ﾓﾝﾃｶﾙﾛｷｬｻﾘﾝたかし foomidori@pawoo.net
icon

This account is not set to public on notestock.

13:00:22 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 07:36:24 Posting ﾓﾝﾃｶﾙﾛｷｬｻﾘﾝたかし foomidori@pawoo.net
icon

This account is not set to public on notestock.

13:00:43 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 13:00:20 Posting Masayuki Hatta mhatta@mastodon.social
icon

This account is not set to public on notestock.

13:02:42 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 10:25:24 Posting おさ osapon@mstdn.nere9.help
icon

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

Web site image
https://www.techno-edge.net/article/2022/11/11/487.html
「Hey, GitHub! 」でコーディングして実行。GitHubが音声制御機能をプレビュー公開 | テクノエッジ TechnoEdge
13:02:46 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 10:55:25 Posting 抑圧 Niceratus@pawoo.net
icon

This account is not set to public on notestock.

13:04:36 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

Emacspeakかな

13:04:56 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 13:03:48 Posting ドッグ Linda_pp@mstdn.jp
icon

This account is not set to public on notestock.

13:05:09 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 22:36:27 Posting 澄間沢 sunlight@pawoo.net
icon

This account is not set to public on notestock.

13:07:14 @omasanori@mstdn.maud.io
Original notestock Public page link
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
Original notestock Public page link
2022-11-11 13:29:10 Posting :0232_1: 高橋夏希《Natsuki》 natsuki@pokemon.mastportal.info
icon

This account is not set to public on notestock.

13:32:33 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 13:32:01 Posting やまこ yamako@fedibird.com
icon

This account is not set to public on notestock.

13:32:54 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

13:34:14 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

14:32:45 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 03:20:58 Posting O-157 新刊既刊通販中 kaiser@unkomaker.hostdon.ne.jp
icon

This account is not set to public on notestock.

14:32:47 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-10 17:53:47 Posting O-157 新刊既刊通販中 kaiser@unkomaker.hostdon.ne.jp
icon

This account is not set to public on notestock.

14:33:52 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Attach YouTube
14:45:24 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 14:44:35 Posting Spice/mega Spice_mega@pawoo.net
icon

This account is not set to public on notestock.

14:53:26 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 14:49:23 Posting あしゅふぃ ashphy@mstdn.nere9.help
icon

This account is not set to public on notestock.

14:53:56 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

14:59:50 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 14:59:22 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

14:59:54 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

:very_sad:

16:05:40 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 16:03:54 Posting ひろろ Heibonn_hiroro@pawoo.net
icon

This account is not set to public on notestock.

16:07:13 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

😎

16:21:10 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:25:15 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 16:23:45 Posting もちゃ(あと-15.83Kg) mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

16:27:04 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:28:16 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

contagious

16:29:42 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:30:46 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:32:05 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 16:31:35 Posting もちゃ(あと-15.83Kg) mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

16:32:12 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:34:12 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

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

Web site image
https://dl.acm.org/doi/10.1145/103162.103163
What every computer scientist should know about floating-point arithmetic | ACM Computing Surveys
16:37:23 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:39:28 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:44:11 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 16:39:20 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

16:45:08 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:55:44 @omasanori@mstdn.maud.io
Original notestock Public page link
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
Original notestock Public page link
2022-11-11 17:22:25 Posting 酸性雨 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

18:57:57 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 18:54:02 Posting 酸性雨 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

18:58:38 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:59:18 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 18:45:26 Posting 砂狼あずにゃん osa_k@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

18:59:25 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 18:57:42 Posting kb10uy kb10uy@mstdn.maud.io
icon

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

> Functional approach: parse, don't validate

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

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
Parse, don’t validate
19:06:16 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

19:11:34 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://pc.watch.impress.co.jp/docs/news/1454993.html
第4世代EPYCのキモはダイサイズの小ささにあり。AMD発表会レポート
19:17:42 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 19:17:04 Posting :kwgt: aiwas@yysk.icu
icon

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

そんなことあるんだ

Web site image
https://www.appbank.net/2022/11/11/iphone-application/2329098.php
必ずアプリを削除して!! 『対魔忍GOGO!』に関する重大な問題発生 公式から正式発表 | AppBank
19:25:32 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 19:24:28 Posting ぼろんじ（100tpt） boronology@social.penguinability.net
icon

This account is not set to public on notestock.

19:25:39 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

わるい先生

19:26:48 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 18:58:58 Posting Solène :flan_hacker: solene@bsd.network
icon

This account is not set to public on notestock.

19:51:00 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 19:38:13 Posting 大破 musashino205@mstdn.maud.io
icon

This account is not set to public on notestock.

19:52:40 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 19:49:46 Posting 酸性雨 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

20:11:46 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 19:43:02 Posting フジイユウジ fujii_yuji@mstdn.fujii-yuji.net
icon

This account is not set to public on notestock.

20:11:51 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 20:10:36 Posting つぁいにゃお cai@fedibird.com
icon

This account is not set to public on notestock.

20:11:56 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 20:11:15 Posting つぁいにゃお cai@fedibird.com
icon

This account is not set to public on notestock.

21:29:52 @omasanori@mstdn.maud.io
Original notestock Public page link
2022-11-11 21:25:14 Posting Masayuki Hatta mhatta@mastodon.social
icon

This account is not set to public on notestock.

2022-11-11