00:09:33

労働について考えている

00:10:59

しぬまでこの労働をやる(べき|たい)のかとか、そうでないなら任意の改善提案はするだけ無駄では?とか、そうだとしたら無限にクソが末代まで残るんだなぁとか。

00:11:37

諸行無常

00:15:20

考えるだけ無駄なんですけどね初見さん

00:52:33

ねるおやす

01:16:16

07:25:19
2024-11-07 07:18:43 フジイユウジの投稿 fujii_yuji@mstdn.fujii-yuji.net

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

07:25:52

マクドナルドは「マナーを守れ」としか言ってないのに記事タイトルは「横行」なの、"良い"な

07:28:54

横行(おうこう)とは? 意味・読み方・使い方をわかりやすく解説 - goo国語辞書
dictionary.goo.ne.jp/word/%E6%
> 2 悪事がしきりに行われること。ほしいままに振る舞うこと。「汚職が—する」

横行(おうこう)とは? 意味・読み方・使い方をわかりやすく解説 - goo国語辞書
12:31:38

日本人のパスワード漏洩問題を一発解決する方法 agora-web.jp/archives/24110522

パスマネ使えが「一発解決」なの,良い

日本人のパスワード漏洩問題を一発解決する方法
12:32:14

人間さん、おかわいいですこと……

12:33:27

既知のフレンドの未知のムチムチのフレンド

12:33:56
2024-11-07 10:59:58 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

脳卒中  |  Android Developers developer.android.com/training

記事を開く前から笑わせにくるのやめろw

12:36:02
2024-11-07 08:59:26 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」:Innovative Tech - ITmedia NEWS
itmedia.co.jp/news/articles/24

この記事で一番引っ掛かっているのは記事タイトルに足された「コンピュータの登場で定義が曖昧に」という部分で、元論文は advanced / modern mathematics で特に曖昧にされがちという話はしているが「コンピュータの登場で定義が曖昧に」なったなどという話はしてないはず。
定理証明支援に落とそうとすることで、もともと含まれていたそういった曖昧さが露呈した、という話だったように原文は読める。

数学の「=」(等しい)とはどういうことか? 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
12:36:56

> 数学者がよく分からず直感的な等号の使い方をしたとしても

数学者の等号の使い方が間違ってると言わんばかりの暴言で草

12:44:40
2024-11-07 12:41:42 #<Object:0x00000528>の投稿 shibafu528@ertona.net

今思えばKabyLakeっておしがま決壊の可能性があるな

12:44:47

kblake

12:46:20

kb flooding

12:47:44

じらびそれで金取れそう

12:48:51

おれもじらびにskeb(3D)たのみた〜い

12:49:10

とくにたのみたいものがあるわけではない

12:50:25

セントで比較せんと

12:55:24

Xユーザーのぱーりんか │ Bar Pálinkaさん: 「チェコのブルノっていう都市でアニメバーを見つけてフラッと入って『Hentai』っていうカクテル頼んだら同人誌がマリアージュで出てきてわろてるwwwwwwwwwwwwww t.co/TgouEIN2KD」 / X
x.com/barpalinka/status/185429

ぱーりんか │ Bar Pálinka (@BarPalinka) on X
20:59:31

たいきんきた

21:00:18

みじめ

21:10:50

楽しくねえ

21:11:02

おれもゴールして絵

21:51:54

ヴルカヌス初降下

21:53:22

硫酸が湧いてくるのオモロ

21:56:56

まだだめ

22:10:40

木材手に入らなくて草

22:13:30

何だね君は

22:13:49

やべ,詰んだかも

22:15:41

プラスチック持って来るの忘れてロボはいるのに何もできん

22:19:47

ヴルカヌスでのプラスチック生成,硫酸+方解石+石炭→重油→軽油→プロパンを経由しないといけないのか

23:05:10

factorioきつ

23:22:26
2024-11-07 23:05:44 華葡。の投稿 niniko2ko@misskey.io

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

23:22:45

えろ~

23:22:54
2024-11-07 22:02:00 ゴキブリ🔞の投稿 GOKIBURI@misskey.io

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

23:22:58
2024-11-07 14:00:31 皆村春樹の投稿 halllki@misskey.io

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

23:31:39

最近ようやく目眩を知った

23:34:50

そたえぬもあそんでくんないし

23:38:42

ねよ

23:39:27

無だ

23:42:42

東電 福島第一原発 初のデブリ試験的取り出し 完了 | NHK www3.nhk.or.jp/news/html/20241

東電 福島第一原発 初のデブリ試験的取り出し 完了 | NHK
23:53:03

ウワ〜〜〜〜