21:53:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:42:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Fabrice Bellard: Portrait of a Super-Productive Programmer
21:39:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:39:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:31:56 Posting コロコロコロ助
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
21:39:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:31:24 Posting ちゃーしゅーねこ
charsiuCat@social.mikutter.hachune.net
This account is not set to public on notestock.
21:12:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:11:15 Posting rootY
rooty2@mstdn.maud.io
This account is not set to public on notestock.
21:12:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:11:07 Posting ぼろんじ(100tpt)
boronology@social.penguinability.net
This account is not set to public on notestock.
21:10:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:10:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:08:28 Posting ぽんこつ
ponkotuy@social.mikutter.hachune.net
This account is not set to public on notestock.
21:09:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:09:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
当たらない確率じゃない、当たる確率が 95.24% じゃん
21:07:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:06:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
0.97^100 ≒ 0.0476 なので、それ 100 回抽選して当たらなかったのは当たらない確率 95.24 % のほうをひいたということになる、のでまあそれはわりとそうだろうなというところ
21:03:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 21:00:53 Posting よみたそまる
yomi@mstdn.maud.io
This account is not set to public on notestock.
21:01:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 19:37:46 Posting ロージー / ハト
rosylilly@best-friends.chat
This account is not set to public on notestock.
21:01:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 19:35:05 Posting ロージー / ハト
rosylilly@best-friends.chat
This account is not set to public on notestock.
20:55:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
会社の給与計算の締め日と支払い日に関係なく、N 月ぶんの住民税は N 月に徴収して N+1 月 10 日までに納付、が普通のはず。
20:52:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
当月締め当月払いでも当月締め翌月払いでも、住民税の6月ぶんが給与から徴収されるのは暦上の6月の支払いからですね
20:52:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:49:57 Posting ぐすくま@わかりみ
guskma@abyss.fun
This account is not set to public on notestock.
20:42:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:42:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:41:07 Posting 砂狼あずにゃん
osa_k@social.mikutter.hachune.net
This account is not set to public on notestock.
20:40:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:37:49 Posting もふおじ
pasutisu@mstdn.maud.io
This account is not set to public on notestock.
20:40:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:37:31 Posting 酒呑み鬱太郎@がんばらない
kelvin27315@mstdn.maud.io
This account is not set to public on notestock.
20:37:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Fabrice Bellard、なんでもつよつよプロダクトつくってるからなにやっててても驚き少なめになってきた
20:36:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:36:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
普通徴収なら振り込み書類が自治体から届くと思うのでそれを眺めて計算通りかどうかでわかる(振り込み期日等は自治体で異なると思うけどふつうは何回かに分割してその一期目が6月期日の支払いになるはず
20:34:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
そもそもふるさと納税で控除されるのは住民税で、住民税の特別徴収(給与天引き)は6月からだと思うので5月の給与明細見ても何か変わってるはずがないと思いますよ
20:33:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:29:06 Posting ぐすくま@わかりみ
guskma@abyss.fun
This account is not set to public on notestock.
20:33:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 19:18:18 Posting ぐすくま@わかりみ
guskma@abyss.fun
This account is not set to public on notestock.
20:31:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
所得税は過去5年間くらい遡って申告できると思うし、青色申告の人はともかく確定申告なにそれ?な会社員がふるさと納税ぶん追加申告するだけなら手元に源泉徴収票とか一揃えさえあれば一瞬で終わるし難しくもないので確定申告やってしまえばよいと思う > ふるさと納税申告忘れ
20:18:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:16:25 Posting 上海蟹七咲
SHC7saki@mstdn-bike.net
This account is not set to public on notestock.
20:18:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@charsiuCat ちなみにservice mode バッテリーのほうは JigKick battery、特定のブロックに IPL (initial program loader) を書いて jigkick battery 挿入時に memory stick に書いた firmware から起動できるようにした ms が magic memory stick で、このふたつの総称が pandora のはず?
20:14:47
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@charsiuCat それに最近は製造責任的にセキュリティアップデートとかバグフィックスは必須の時代なのでなー。
20:13:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@charsiuCat PSP のバッテリーにすら NAND フラッシュと制御のファームウェアぐらいはあったわけで、しかも PSP 側から ID 書き換えて service mode 用のバッテリーにつくりかえて本体ファームウェア書き換え、とかやってたので、そこから 20 年近く経ってて USB-PD がそうなってないわけがない気はする
20:11:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
未だにプリズムガラスの由緒正しき一眼レフと中判を主力にしてるあたり、ニッチで生き残っていくというよりは既にニッチで生き残ってきた結果みたいなところがある
20:09:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:09:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:08:33 Posting ぽんこつ
ponkotuy@social.mikutter.hachune.net
This account is not set to public on notestock.
20:09:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 20:09:13 Posting もふおじ
pasutisu@mstdn.maud.io
This account is not set to public on notestock.
20:09:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:08:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@akahana そういうところじゃなくて、PENTAX 公式ストアで他社ボディ向けのアダプタとレンズのセットをウリにしはじめたところが「お前もうレンズ屋でやっていく気なんだな?」というところが
20:06:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:05:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:07:47
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
IEEE_754%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E8%B2%A0%E3%81%AE%E3%82%BC%E3%83%AD
14:04:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
一切皆苦は執着より生まれる、という観念からこういう言葉そのものは仏教に存在する
14:03:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
仏に逢うては仏を殺せ、親に逢うては親を殺せとも言います(違う
14:03:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 14:02:48 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
14:01:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
繰り返すが、そもそも仕様として記載が足りない可能性が、とか、所与の仕様より上位の仕様がある中の一部だとかを想定する場合はこれなので個別の現場で考えるべきこと
14:01:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これに加えて「ただし空配列や nil が渡されたら false or error code を返却せよ、みたいな指定が仕様にあればそうするし、もっと上位の仕様があるアプリ開発ではどうするとより良いかはそれぞれの現場で考えてほしい、out-of-scope なので
14:00:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
下の世代が付き合いで上司と……みたいなときにはもう「上司とカラオケ」の廃れが加速してそうだし(その廃れとも関連するが)ある世代みんなが知ってるオールタイムベストなポップス曲やアイドル、芸能人、芸能、みたいな概念自体が薄れてそう(というか既にそうか)なのでまあどうなんしょ
13:58:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:58:11 Posting 遊佐こずえ
kozue@yysk.icu
This account is not set to public on notestock.
13:57:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:57:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:56:20 Posting エセ賢者
MulticolorWorld@ap.jadiunr.net
This account is not set to public on notestock.
13:56:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
全称量化記号が口にしか見えないの、特定の年代の日本人に起きる現象だ。匿名掲示板がわるい。
13:52:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
> Q. ある映画館では、防犯や視聴体験の観点から、入場要件を満たした荷物しか持ち込むことができません。例えば銃や携帯電話は預けなければなりません。ある人が手ぶらで入場しようとしているとき、入場要件を満たしているといえますか?
畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル
https://blog.3qe.us/entry/2023/05/30/213713
畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる
13:47:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:45:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
コーナーケースという所ではそうですね。でも実際にそういう渡されかたが有り得るかどうかでいえばめちゃくちゃある、という意味での特殊ケースではない、というところですね
13:44:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:43:39 Posting 砂狼あずにゃん
osa_k@social.mikutter.hachune.net
This account is not set to public on notestock.
13:40:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:39:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
頑張って git-switch(1) と git-restore(1) に慣れたら git-checkout(1) の使いかたをやや忘れかけている
13:38:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:19:15 Posting Masaki Hara
qnighy@qnmd.info
This account is not set to public on notestock.
13:32:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
当然、プロダクト品質の高い安全でソリッドな設計・実装のためには前者を踏まえた上で engineering に視点や手法を取り入れるべきだけど、簡単なツールやオモチャを作るだけの目的の人にそういう話をしはじめるのはおかど違いってもんであるよ
13:32:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
プログラムを数理的な問題解決の記述法と捉えるか、工学的な機械の操作記述法と捉えるかで perspective が異なると思うけど、多くの人は後者を求めてるのであって、前者を教えようとしてもまず興味を持ってもらえないのでは。数学の講義が好きだったとかつらつら証明や公理系を滔々と読み上げるだけだった講義でも楽しめた人ならいいけど、世の多くはそうではない。
13:28:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
配列の概念があって空配列つくれないなんてことはないと思うし、C とかでも null じゃなくて空の配列渡すことも普通にあるはず(BASIC の array くらいまで行くと自信はないから存在しないとまで断言できない
13:27:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:26:47 Posting ぽんこつ
ponkotuy@social.mikutter.hachune.net
This account is not set to public on notestock.
13:27:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:26:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:21:47 Posting かぐら
taka_hvc1@social.mikutter.hachune.net
This account is not set to public on notestock.
13:13:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:13:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:12:39 Posting rootY
rooty2@mstdn.maud.io
This account is not set to public on notestock.
13:10:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
越南人は𡨸喃を捨ててしまったしなあ。まあローマ字綴りでもアクセント記号とか使うから完全に 7-bit の ASCII 文字種だけで記述できないかもだが(トライグラフもどきみたいなので代替はできそう
13:08:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
(計算機)エンジニアに限らず漢字廃止論やローマ字綴り推進は 100 年以上の歴史があるのでまあ……。
13:07:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:06:31 Posting АнамезонСудно☢No Nuke, No Life
AerospaceCadet@mstdn.jp
This account is not set to public on notestock.
13:07:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:07:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:07:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:06:26 Posting かー
otakan@hota.hirachon.otakan.jp
This account is not set to public on notestock.
13:06:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 13:06:10 Posting かー
otakan@hota.hirachon.otakan.jp
This account is not set to public on notestock.
11:02:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
11:01:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 10:24:46 Posting コロコロコロ助
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
08:00:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
08:00:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 07:31:07 Posting おいも
oimo@wizarding-world.icu
This account is not set to public on notestock.
08:00:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2023-06-01 07:30:57 Posting おいも
oimo@wizarding-world.icu
This account is not set to public on notestock.