㌦の時間か

Wordle 261 4/6*

⬛⬛🟩🟩🟩
⬛🟨🟩🟩🟩
🟩⬛🟩🟩🟩
🟩🟩🟩🟩🟩

そんなぁ #Wordle

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

関係代数と集合論と論理学あたりはマジで高校までにしっかりやってほしさあるな

人類、情報の構造の規則性という概念に疎すぎるし、そんなんだからセクションタイトルを <b> で表現したり EXCEL で方眼紙作ったりするんだよ

論理学クソザコ勢なので、ド・モルガンの法則の4パターンのうち直観主義論理で成り立たないパターンがどれだったかを覚えていない #直観主義論理は直観的

微積わからない人、エネルギーと力という概念もわかってないことになるので……

「2倍の速度で走ってた車が止まろうとすると2倍の距離かかると思ってそう」とか言って刺しにいった方がいいんですかね (適当)

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

統計なんて放っ統計！！！

は？

datetime_string を time crate に対応させる作業をしている (最近 chrono の代わりに time を試しているため)

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

ワイもあまり詳しくないんですが、 time の方が leap seconds に対応しないとか time zone (not time offset) に対応しないとかなど思い切りが良くてシンプルになっているのでそのためかもしれない？

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

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

でも結局メンテできなくなって手放しちゃったじゃん

やっぱり迎撃用のミサイルくらいが丁度良い

同じ光り物だし。

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

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

Android や Win が馬鹿にされてた反動じゃないの、知らんけど

まあ痛い成長して自分の痛さに気付いたなら子供の反抗期を見守ってあげるのもいいんじゃないのという気持ち (超適当)

うげ、 MSRV の罠が

いや違うな、これ MSRV じゃなくてツールチェイン側の問題だ

あぼカドまぞく

https://github.com/time-rs/time/commit/9894ec60dffe0920ddd3b3e39b3c92186dc628c3#diff-06572a96a58dc510037d5efa622f9bec8519bc1beab13c9f251e97e657a9d4edR71-R72

> Per the policy in the README, this may be bumped within the 0.3 series without being a breaking change.

MSRV 上げるのが breaking change 扱いされないやつだ……つらい

このあたりマジでどうにかうまい感じになってほしいんだが

features とか optional deps 次第で MSRV が変化するやつとか、扱いが難しいんだよな

リリースするか

MacBook の EFI まわりで苦しんでいた大学同期はいたわ

何年のモデルかは知らんが

必要性がわからないことと、必要性がわからないから必要ないと思うことは、別の話

まあ微分積分がなくても生きていけるという点では微積は確かに人生に必要ないし、その構図で言うなら人間性とか豊かさとか社会性とかも人生に必要ない。

ワイは勝手に幸せになるつもりなので、わざわざ人生縛りプレイしたい人には興味ないです

どうせワイは微積嫌いな人々に微積を教える責任ないしな。気楽な立場よ

optional な features を増やしまくったらテストにかかる時間がどんどん膨れ上がっていっている

使いもしない依存を mandatory にしたくないから仕方ないんや……

テストに8分かかるの嫌すぎる

まあガキどもなんて「必要だとわかったから本腰入れられる」みたいなマトモな存在じゃないし、かといって何を面白いと思うかなんて人それぞれなうえそれを探るのにもクソデカいコストがかかるし、そこをアジャストするのは現実味がなさそう

親が子供に直接教えられる程度によくわかっているか、家庭教師でも雇うか、くらいのコストのかけかたでないとどうしようもなさそう

？？？「おもしろいでしょ？」
ワイ「（ぜんぜん）」

は話聞かなくなるパターンなので

そりゃあらゆる義務の学習を趣味でやっているのと同じ熱量と労力でできるならあらゆる学習は捗って人生が光り輝くんでしょうけどね。

あと労役については雇用している側が職務の安全を確保する義務を負うけど、教諭や教師は教えるところまでが義務なのであって学ばなかった結果の人生における補償の義務はないので

カジュアルに労役って書いちゃった、労働

まあ強いて建設的な話をするなら、「興味を持たせる」ところは内容を教えるのとは別の役職であるべきなんじゃないですかね。それが専門の職業になるべきか保護者がやるべきか独立した科目になるべきかは知らんけど。

総合学習の時間とかそういうのに使えないんですか？ ワイは何も知らんが。

「興味を持たせる」ことの確実性を高めるの、人心をコントロールすることに他ならないので、その技能だけで既に専門性が要求されているはずだし、何かのついでにやらせるようなことではないのでは

物語を読んで何かを感じないといけなかったり、何かの訓話を聞いて共感をしないといけなかったり、何かを面白いと思わないといけなかったり、そういう内心のありように干渉してくるようなのが本当に嫌いだったので、教育の文脈とかでそういう方面のことを考えたり実践する人とは相容れない

まあ結果として古文・漢文と地理・歴史の成績がそれはそれは悲惨な学生が出来上がったわけですが。

歴史とかべつに嫌いじゃなかったんだけど本当に興味が湧かなかったので。きみたちにとっていくら面白かろうと私にはそうじゃなかったんだよ

興味を持とうとしたこともあったけど、そんなもん誰もが持とうとして持てるようなら人類全員博士課程にでも行ってるんじゃないですか (適当)

古文は (歴史とは違って) 普通に嫌だったので言い訳できない

結局根本的な行動原理の部分が楽しさドリヴンなんだよな。必要だからといってやる気が出るほど殊勝にできていない

今この瞬間の楽しみを我慢して貯金できる人が勝つんですね。私は負け組です

またどうでもいいことに時間を使ってしまった (cf. xkcd#303)

ヨーグルト食って寝るか

しかし8分かかるテストどうすりゃいいんだ。ビルドもテストもそれ単体でかなり並列化されてるから、タスク単位で並列化したところで CPU 食いあうだけや

CI サーバを確保したところで、それなりに金かけないとローカルマシンより強くはならないし……

風呂入る

#今すぐ寝ることで救える命があります

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

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

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

「知識があるなら弄らせろ」と「知識がないなら危ないから弄るな」は両立する

「知識なく弄ったなら製造者に責任を負わせるな」があればなお良いかもね

除雪機のデッドマンクラッチを紐で縛って事故るのも †修理する権利† の行使で †製造者責任† の適用対象ですか (適当)

クソなぞなぞ: 尻穴で行為に及ぶ人が就けない職業ってなーんだ

はずれ

大酒気ホールド (アルコール中毒) #適当

IANAL, TINLA は頻出の pseudo 下品ワードなので覚えておいて損はない

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

サムゲタンの絵文字がないのが悪い (?)

アニオリばかり取り沙汰せず原作尊重してもろて (?)

猫又サムゲタン🍙

ファンに殺されそう

プロダクトゲタン

ゲタン 揺れる 廻る 振れる 切ない気持ち

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

人道回廊 重労働 違い

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

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

イキってオレオレ OS 作ったところで、世界中のハードウェアを動かすにはベンダーが付いてくるか全部自力で対応させないといけないからな

そりゃ Linux か BSD あたりがベースになろうってもんよ