技術と魚

雑感と備忘録

「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」を読んだ

『宇宙と宇宙をつなぐ数学 IUT理論の衝撃 (Japanese Edition)』 (加藤 文元著) 数学の哲学として非常に面白かった。IUT理論自体については、ほんの触りの部分だけ知ることができるけれど、この本が目的としていないように、具体的で厳密な理解はできない。…

selenium-side-runnerでinput[type=file]がhiddenとなっているタイプのファイルアップロードをどうにかする

おしゃれなアップロードボタンは、inputを隠してダミーボタンを経由してinteractしているだけなのでseleniumがinvisibleなelementを操作できず死ぬ。 こんな感じのエラーになる ElementNotInteractableError: element not interactable ダミーボタンのclick…

「フォン・ノイマンの哲学」を読んだ

「フォン・ノイマンの哲学」(高橋昌一郎著)を読了。 ノイマンの逸話は言わずと知れているし、その功績も数学やコンピュータ、経済を齧っていれば度々目にする。そんな天才の一生をざっくり眺められる良書。 強烈な天才の側面だけを切り取って見ていると、疑…

Safariのバグっぽいものを見つけたのでBugzillaに投稿してみた

https://bugs.webkit.org/show_bug.cgi?id=229442 position: stickyをtheadとth(td)につけると、stickyの直観からして境界で止まってくれることを期待するはずが、一定の条件下ではなぜか反対方向に突き進んでしまうというRTAで使えそうなバグ。 https://cod…

Coq再入門 - SetとProp

Coqにおける Set, Prop は(型の型(=種類)的な意味で) sort という。ともにbuilt-in Setはプログラムやデータ型のためにある Propは証明や命題のためにある # Set Prop アトミックな項 Program, データ Proof 証明 型 Specification, データ型 Proposition 命…

プロダクトのコアとは何であるか

プロダクトの優先度決めの議論はたいてい人類にはまだ早いんだけど、たいてい行き着く先として、「うちの製品のコアをどっちとするかによって話変わるよね?」とかいう話にはなるなと、何度も繰り返して思った。 コアのことは、状況によっては秘伝のタレとか…

なぜブランチを「切る」と言うんだろうか?

Gitで新たにブランチを作るとき、ブランチを「切る」と言う。しかし、やっていることはむしろ「生やしている」のだから、真逆と言ってもいい。もしも英語で "cut a branch" などと言ったら、「お前の作業ブランチは切り落として無かったことにしろ!」になっ…