2022-11-11
same day in other years
이전년
다음년
08:07:13
notestock 공개 페이지 링크
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
notestock 공개 페이지 링크
2022-11-11 08:07:50 結城浩（サブアカウント）님의 게시물 hyuki0000@mstdn.jp
icon

This account is not set to public on notestock.

08:10:49
notestock 공개 페이지 링크
2022-11-11 08:09:19 結城浩（サブアカウント）님의 게시물 hyuki0000@mstdn.jp
icon

This account is not set to public on notestock.

08:43:05
notestock 공개 페이지 링크
2022-11-10 13:54:48 まぜうさぎ🔞님의 게시물 maze_mix@pawoo.net
icon

This account is not set to public on notestock.

09:08:19
notestock 공개 페이지 링크
2022-11-11 08:50:48 画眩님의 게시물 ggagen@pawoo.net
icon

This account is not set to public on notestock.

09:08:29
notestock 공개 페이지 링크
2022-11-11 08:50:51 画眩님의 게시물 ggagen@pawoo.net
icon

This account is not set to public on notestock.

09:08:54
notestock 공개 페이지 링크
2022-11-11 09:04:07 Masayuki Hatta님의 게시물 mhatta@mastodon.social
icon

This account is not set to public on notestock.

09:09:49
notestock 공개 페이지 링크
icon

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

09:11:48
notestock 공개 페이지 링크
2022-11-11 09:07:14 Ryusei님의 게시물 mandel59@pleroma.ryusei.dev
icon

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

09:11:53
notestock 공개 페이지 링크
2022-11-11 09:08:20 Ryusei님의 게시물 mandel59@pleroma.ryusei.dev
icon

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

09:11:57
notestock 공개 페이지 링크
2022-11-11 09:09:33 Ryusei님의 게시물 mandel59@pleroma.ryusei.dev
icon

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

09:12:48
notestock 공개 페이지 링크
2022-11-11 09:10:41 Ryusei님의 게시물 mandel59@pleroma.ryusei.dev
icon

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

11:51:41
notestock 공개 페이지 링크
2022-11-11 11:46:58 Giraffe Beer님의 게시물 giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

11:55:12
notestock 공개 페이지 링크
icon

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

12:24:34
notestock 공개 페이지 링크
2022-11-11 12:23:23 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
notestock 공개 페이지 링크
2022-11-11 12:22:27 uwabami✅님의 게시물 uwabami@junkhub.org
icon

This account is not set to public on notestock.

12:26:45
notestock 공개 페이지 링크
icon

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

12:29:34
notestock 공개 페이지 링크
icon

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

Web site image
http://nico.ms/mg683037 https://seiga.nicovideo.jp/watch/mg683037
大正忌憚魔女 第2話
12:30:14
notestock 공개 페이지 링크
2022-11-11 12:30:03 やまこ님의 게시물 yamako@fedibird.com
icon

This account is not set to public on notestock.

12:34:39
notestock 공개 페이지 링크
2022-11-09 22:11:42 3月もオフ会やります님의 게시물 Akira_soraw1818@fedibird.com
icon

This account is not set to public on notestock.

12:38:07
notestock 공개 페이지 링크
icon

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

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

Attach YouTube
12:39:25
notestock 공개 페이지 링크
2022-11-11 12:31:05 Eugen Rochko님의 게시물 Gargron@mastodon.social
icon

This account is not set to public on notestock.

12:39:36
notestock 공개 페이지 링크
2022-11-10 17:49:26 Ushitora Anqou님의 게시물 anqou@mstdn.anqou.net
icon

This account is not set to public on notestock.

12:41:14
notestock 공개 페이지 링크
icon

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

12:41:21
notestock 공개 페이지 링크
2022-11-10 16:29:06 Ushitora Anqou님의 게시물 anqou@mstdn.anqou.net
icon

This account is not set to public on notestock.

12:45:14
notestock 공개 페이지 링크
2022-11-11 12:44:41 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon

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

12:48:00
notestock 공개 페이지 링크
2022-11-11 12:45:38 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon

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

12:52:38
notestock 공개 페이지 링크
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
notestock 공개 페이지 링크
icon

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

12:54:00
notestock 공개 페이지 링크
2022-11-10 19:51:10 しおまねき（14）✨🦀님의 게시물 azel_skydart@pawoo.net
icon

This account is not set to public on notestock.

12:54:33
notestock 공개 페이지 링크
2022-11-11 12:50:57 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon
12:54:56
notestock 공개 페이지 링크
2022-11-09 21:16:00 夜ない님의 게시물 yoru_nine@pawoo.net
icon

This account is not set to public on notestock.

13:00:11
notestock 공개 페이지 링크
2022-11-11 07:42:11 ﾓﾝﾃｶﾙﾛｷｬｻﾘﾝたかし님의 게시물 foomidori@pawoo.net
icon

This account is not set to public on notestock.

13:00:22
notestock 공개 페이지 링크
2022-11-11 07:36:24 ﾓﾝﾃｶﾙﾛｷｬｻﾘﾝたかし님의 게시물 foomidori@pawoo.net
icon

This account is not set to public on notestock.

13:00:43
notestock 공개 페이지 링크
2022-11-11 13:00:20 Masayuki Hatta님의 게시물 mhatta@mastodon.social
icon

This account is not set to public on notestock.

13:02:42
notestock 공개 페이지 링크
2022-11-11 10:25:24 おさ님의 게시물 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:04:36
notestock 공개 페이지 링크
icon

Emacspeakかな

13:04:56
notestock 공개 페이지 링크
2022-11-11 13:03:48 ドッグ님의 게시물 Linda_pp@mstdn.jp
icon

This account is not set to public on notestock.

13:05:09
notestock 공개 페이지 링크
2022-11-10 22:36:27 パンケーキ님의 게시물 sunlight@pawoo.net
icon

This account is not set to public on notestock.

13:07:14
notestock 공개 페이지 링크
icon

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

Attach YouTube
13:32:31
notestock 공개 페이지 링크
2022-11-11 13:29:10 :0232_1: 高橋夏希《Natsuki》님의 게시물 natsuki@pokemon.mastportal.info
icon

This account is not set to public on notestock.

13:32:33
notestock 공개 페이지 링크
2022-11-11 13:32:01 やまこ님의 게시물 yamako@fedibird.com
icon

This account is not set to public on notestock.

13:32:54
notestock 공개 페이지 링크
icon

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

13:34:14
notestock 공개 페이지 링크
icon

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

14:32:45
notestock 공개 페이지 링크
2022-11-11 03:20:58 O-157 新刊既刊通販中님의 게시물 kaiser@unkomaker.hostdon.ne.jp
icon

This account is not set to public on notestock.

14:32:47
notestock 공개 페이지 링크
2022-11-10 17:53:47 O-157 新刊既刊通販中님의 게시물 kaiser@unkomaker.hostdon.ne.jp
icon

This account is not set to public on notestock.

14:33:52
notestock 공개 페이지 링크
icon

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

Attach YouTube
14:45:24
notestock 공개 페이지 링크
2022-11-11 14:44:35 Spice/mega님의 게시물 Spice_mega@pawoo.net
icon

This account is not set to public on notestock.

14:53:26
notestock 공개 페이지 링크
2022-11-11 14:49:23 あしゅふぃ（お仕事募集中）님의 게시물 ashphy@mstdn.nere9.help
icon

This account is not set to public on notestock.

14:53:56
notestock 공개 페이지 링크
icon

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

14:59:50
notestock 공개 페이지 링크
2022-11-11 14:59:22 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon

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

14:59:54
notestock 공개 페이지 링크
icon

:very_sad:

16:05:40
notestock 공개 페이지 링크
2022-11-11 16:03:54 ひろろ님의 게시물 Heibonn_hiroro@pawoo.net
icon

This account is not set to public on notestock.

16:07:13
notestock 공개 페이지 링크
icon

😎

16:21:10
notestock 공개 페이지 링크
icon

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

16:25:15
notestock 공개 페이지 링크
2022-11-11 16:23:45 もちゃ(あと-13.60Kg)님의 게시물 mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

16:27:04
notestock 공개 페이지 링크
icon

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

16:28:16
notestock 공개 페이지 링크
icon

contagious

16:29:42
notestock 공개 페이지 링크
icon

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

16:30:46
notestock 공개 페이지 링크
icon

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

16:32:05
notestock 공개 페이지 링크
2022-11-11 16:31:35 もちゃ(あと-13.60Kg)님의 게시물 mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

16:32:12
notestock 공개 페이지 링크
icon

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

16:34:12
notestock 공개 페이지 링크
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
notestock 공개 페이지 링크
icon

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

16:39:28
notestock 공개 페이지 링크
icon

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

16:44:11
notestock 공개 페이지 링크
2022-11-11 16:39:20 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon

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

16:45:08
notestock 공개 페이지 링크
icon

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

16:55:44
notestock 공개 페이지 링크
icon

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

17:25:36
notestock 공개 페이지 링크
2022-11-11 17:22:25 酸性雨님의 게시물 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

18:57:57
notestock 공개 페이지 링크
2022-11-11 18:54:02 酸性雨님의 게시물 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

18:58:38
notestock 공개 페이지 링크
icon

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

18:59:18
notestock 공개 페이지 링크
2022-11-11 18:45:26 桜井政博님의 게시물 osa_k@social.mikutter.hachune.net
icon

PropTypesみたいなやつを書くと勝手にvalidatorとTypeScriptの型が生えてくるライブラリらしい。おもろ github.com/colinhacks/zod

Web site image
https://github.com/colinhacks/zod
GitHub - colinhacks/zod: TypeScript-first schema validation with static type inference
18:59:25
notestock 공개 페이지 링크
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

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
Parse, don’t validate
19:06:16
notestock 공개 페이지 링크
icon

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

19:11:34
notestock 공개 페이지 링크
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
notestock 공개 페이지 링크
2022-11-11 19:17:04 節約情報館님의 게시물 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
notestock 공개 페이지 링크
2022-11-11 19:24:28 オガサワラペンギン님의 게시물 boronology@social.penguinability.net
icon

This account is not set to public on notestock.

19:25:39
notestock 공개 페이지 링크
icon

わるい先生

19:26:48
notestock 공개 페이지 링크
2022-11-11 18:58:58 Solène :flan_hacker:님의 게시물 solene@bsd.network
icon

This account is not set to public on notestock.

19:51:00
notestock 공개 페이지 링크
2022-11-11 19:38:13 大破님의 게시물 musashino205@mstdn.maud.io
icon

This account is not set to public on notestock.

19:52:40
notestock 공개 페이지 링크
2022-11-11 19:49:46 酸性雨님의 게시물 acid_rain@amefur.asia
icon

This account is not set to public on notestock.

20:11:46
notestock 공개 페이지 링크
2022-11-11 19:43:02 フジイユウジ님의 게시물 fujii_yuji@mstdn.fujii-yuji.net
icon

This account is not set to public on notestock.

20:11:51
notestock 공개 페이지 링크
2022-11-11 20:10:36 つぁいにゃお님의 게시물 cai@fedibird.com
icon

This account is not set to public on notestock.

20:11:56
notestock 공개 페이지 링크
2022-11-11 20:11:15 つぁいにゃお님의 게시물 cai@fedibird.com
icon

This account is not set to public on notestock.

21:29:52
notestock 공개 페이지 링크
2022-11-11 21:25:14 Masayuki Hatta님의 게시물 mhatta@mastodon.social
icon

This account is not set to public on notestock.

2022-11-11