Spinach Forest

toc
about

September, 2024

/ Spinach, September   / CarMax 体験記   / Absence of Think-to-Write   / checkNotNull() and getClass() NPE   / Spinach, August   / ... 

Spinach, September

2024-09-02

  • My Tech Promotion Algorithm
    出世のために最適化するというこのアイデアが無理すぎて、会社員の素質が足りてない。

  • 先日の故障以来、車の運転をすると不安を感じるようになってきた。思ったよりストレスがある。ということで買い替えを決意し shopping 開始(準備のみ)。遅くとも来月くらいには買えると良いのだが。今回はマイルの浅い中古を買ってみたい気持ちがあるが ($5k くらい安いので), また日和って新車にするかもしれない・・・。メーカーは変えず、同じモデルか一回りでかいやつか、どっちかです。

  • Psychopath って Psycho-pathology か。

  • Child Abuse Mandated Reporter Training というボランティア向け児童虐待報告トレーニングのオンライン資料を受け、虐待の兆候などを次々に 突き付けられ辛し。しかし二年目なのでテストは難なくクリア。

  • Americans' love affair with big cars is killing them | Hacker News
    なんでもデカければいいってもんじゃないな・・・と 17 inch laptop を持て余している私は思いますね・・・。いや、老眼には優しいんだけど。さすがに重いわ。

  • Opinion | Trump Said Democrats Will Take Away Your Hamburgers. He’s the One Who Might. - The New York Times
    難民のみなさん、屠殺工場でコキ使われていたのか。日本もアメリカの表面的な美徳に惑わされず外国人を資本主義のフレームワークで合法的にコキ使うと経済元気になるんじゃないか。

  • Google Pixel Watch 41mm GPS + WiFi + LTE Unlocked Gold Black Silver Watch - Good | eBay
    Watch 関連機能のコードをリファクタする必要がありそうなのでテスト用に古いの買おうかないくらかな $90 か・・・とか眺めていて気づいたが、会社からゲットすべき案件である。

2024-09-03

  • 週末食いすぎたのでまた OMAD しないとなあ。目標 65kg, ストレッチで 64kg. 今週は暑いらしいので寒さに震えがちな calorie deficit 勢には優しいと言える。

  • Android Developers Blog: Android 15 is released to AOSP
    電話機にはいつ降ってくるんだい・・・。今年は新しい電話機にすら入っていないので、本当に何が起きているか把握していない。
    PdfRenderer が新しくなったというが・・・。いつになったら HardwareBuffer にレンダリングできるようになるんだい・・・。とおもったら Bitmap.wrapHadwareBuffer なんてのがありますね。これがあれば zero-copy PDF reader 作れるな。

  • 仕事。

  • 朝はリファクタ、そのあとは本業。このリズムはいいのではないか。直したいゴミコード無限にあるからな・・・。

2024-09-04

  • さて今日は morning coffee の日です！が！すべてをぶっちぎって朝六時からリファクタリングだ野郎ども(一名)！！このクソコードをぶっ殺すまで休暇はナシだ！！！

  • 何が問題かというと、持ち主というか責任者のいないコードはゴミダメになってしまうということです。ゴミを捨て逃げされ押し付けられ、その身分が過去に大きなストレスだったので、全部直すのです。もう異動も転職もしない予定なので、身の回りの清潔さ、快適さは重要。これは long tenure 固有の vulnerability といえなくもないが、そんくらいの税金は払ってやんよ。

  • Ask HN: Who is hiring? (September 2024) | Hacker News
    Android 職は near-zero ですねー。

  • Why Silicon Valley Is Talking About Founder Mode - The New York Times
    Paul Graham のエッセイが NYT を騒がす時代か・・・。

  • Pixel 9 Pro Fold design: phone first, vapor chamber, camera bar
    少しは売れるといいねーこいつのせいでコードの複雑さが激マシしているからな・・・。

  • 十時。さてリファクタじゃない仕事すっか・・・。六時からぶっつづけで働いてしまったのですでに疲弊。今日は OMAD 諦めてメシくおうかなあ・・・。

  • めしくったら元気でた。リファクタはめちゃ motivated なので空腹でも出来るが、先送りしてきた仕事をやるには糖が必要。

  • さてその先送りしてきた仕事であるところのトレースデータの構造化ですが・・・例のごとくやってみるとこう、100 年前にやっとくべきだった系業務でありました。はい・・・ごめんねみんな・・・。

2024-09-05

  • Layoffs at Fly.io | Hacker News
    おやまあ...

  • 仕事。

  • はーちょっとしたウェブアプリつくたいんだけど社内ツールなんか超絶かったりーんだよなー・・・と思って検索したら、ここ数年でだいぶ簡単になった模様。そのうち試さないとな。ピュアガラパゴスタックだが気にするべからず。

  • Social occasion にともない OMAD ならず。

2024-09-07

  • 子、風邪。

2024-09-09

  • Apple Event - September 9 - YouTube
    電話機の季節ですねー。溢れんばかりの高級感がすごいな。しかし登場動画のカットが世の中に広く真似されまくってしまったせいでセルフパロディーに見えてきて笑ってしまう。

  • ANC を超えて耳栓機能 aka hearing protection すごいな。世の中のヘッドホンにもがんばってほしいもんだわ。そして補聴器機能！これはえらいね。立派。

  • おや SoC の一世代遅れ戦略はやめるのか。去年だけだったのかな？

  • Pro のカメラはずいぶんと盛り盛りになって、競合勤務者は仕事が増えそうな予感・・・。みんな専用ボタンつけちゃう？個人的にはむしろ時計みたいなノブをつけてほしいなあ。カチカチ言う方が気分いいですよ？

  • Apple iPhone 16 Pro and iPhone 16 Pro Max | Hacker News
    人々辛辣気味で Macbook 発表時の熱狂との差が興味深い。どっちも同じくらい CPU 速くなってて同程度に嬉しいと思うんだけど。まあ電話だと CPU のありがたみは感じにくいのかもしれないな。コンパイルとかしないし。しかし人々あまりにも無関心すぎてあっという間にトップページから消えてしまった・・・。

  • 仕事・・・の集中力ゼロ。朝からテックイベントとか見るもんじゃねーな。

2024-09-10

  • Debate を軽く冷やかす。前大統領は「ブチ切れて大声で相手を罵倒し醜態を晒すのを回避すればオーケー」という低いバーをきちんとこなし、いつにかく常温で嘘をついており、見事といえば見事であった。勝負強い。一方副大統領氏は若干テンション上がり気味で、それが弱そうに見えてしまった間は否めない。Debate というフォーマットがテレビスターに有利すぎで、ダメ制度だよなあ。

  • そして国の代表になるはずの人々が互いに相手を罵倒し続けるシーンがしんどすぎ 15 分くらいで脱落。わたくしハーモニーの国から来たものですからね・・・・。

2024-09-11

  • "DuckDB にパッチを書いていた distributed system engineer のあなたならうちのスタートアップで活躍できるよ!" っておまえは Android プログラマに何いってんだリクルータちゃんよ。最近は LinkedIn より Duck commit history 経由の求人の方が多いのでは、と思ってしまうが、さすがにそんなことはないか・・・。

  • 来週は日本人コミュニティの集まりが会社の近くであるぞ！・・・・とおもったら学校のなんかの説明会と丸かぶりだわ。はーあ。さようならー。

  • Boomer Apple – Stratechery by Ben Thompson
    Non-Pro の SoC bump は大きいねー。

2024-09-12

  • 各所の debate review を読むと、Harris は Trump に醜態を晒させたから勝利、みたいな論調。それはなんというか・・・大統領になる人間のやることなのかねえ。Trump ダメなのはわかりきっているからおいておくとして、Harris も moderator からの都合の悪い質問には全然答えず、その時間の枠を使って論敵をディスって挑発してるだけじゃん。なんちゅうか、あなたそれ子供に見せられんの？あたしゃ見せる気にならないよ・・・結局 Harris は Trump でも Biden でもないというだけの、消去法的候補に過ぎないのだよねえ。希望がねーわ。自分は票もないけれど。

  • #442 – Donald Trump Interview | Lex Fridman Podcast
    聞いてみたが、何言ってるかわからん。おじいちゃんの話を聞いてる孫みたいな気持ちになる。昔は真偽はさておきもうちょっと明快だった気がするが、年なのだろうな。

  • Learning to Reason with LLMs | OpenAI
    へー。CoT という曖昧なアイデアに RLHF と WebGPT の具体的なアプローチをぶつけたかんじか。いかにも OpenAI というかんじでアプローチですごいな。

  • Notes on OpenAI’Cs new o1 chain-of-thought models
    「考える時間を伸ばす」という方向で compute をスケールできるというのは、言われてみると確かになーと感心する。

  • I won't be renewing my Pinboard subscription | Hacker News
    不吉だなー・・・。トラブルが本格化する前に逃げ出すべきなのだろうか。しかしめんどい。いっそ Chrome の bookmark で乗り切れないだろうかといつも思うが、決断できないねさすがに・・・。

2024-09-13

  • Car shopping 第一弾、ディーラーで試乗。買う気はありません、と強調しつつ試乗し、買う気はないといいつつ現行車の売値を見積もりし、そそくさと退散。なんか色々なオプションの押し売りもあり、税金という名の項目に手数料が盛り込んであり、十年ぶりにああディーラーですねえという気分。いやー高いな、新車。中古も大差ないと思っていたが、10-20% くらいは違うね。

2024-09-15

  • 学校の volunteer 業務自動化のため CSV を処理しようと Colab にコピペしたら Pandas で DF にするコードが自動的に追加された！なにこれ便利。

  • しかしデータソースの Google Spreadsheet にいくらか書き戻す必要があることに気づいたので Colab は諦め式でがんばるものなり。

  • How to succeed in MrBeast production (Leaked PDF) | Hacker News
    MrBeast, YT にいた頃はちょう存在感あったけどもはや遠い存在である。読むと超ブラックで働きたくねーってかんじではあるが、芸能界だと思うと違和感ないのかもしれない。

2024-09-16

  • やる気の起きない朝、スタバまで軽く走ってカフェインでもとるかとコーヒーを買ったところ、$3.25 のコーヒーに suggested tip が $2.00 とかで、思いつきでスタバ行くのはもうナシだな・・・と意識を新たにする。しばらく行ってないから忘れてたわ。大統領候補たちは tip 非課税政策を提案しているらしいが、正気かね。ただ低所得世帯を減税すればいいと思うのだが。

  • 集中力がない。午後に car shopping が控えているせいか。

  • Amazon tells employees to return to office five days a week
    おや。勤務先もこういうこと言い出しそうだなー。まあすでに週４日通っているので大差ないが。それにしても Jassy 氏はお手紙ライターとしての実力はいまいちね。

  • Car shopping attempt part.2. 比較的近所の CarMax (中古車屋) に条件を満たす車がちょい安で売っていたので予約して試乗。しかし血痕・汗跡っぽいシミなど内装の汚れが目立ち妻が難色。まあこの赤っぽいシミなんか不吉だよなたしかに・・・。ということで見送り。有給が溶けていく。学びとしては 1) スペックの割に安いのには理由がある 2) 売れずに残ってるのには理由がある。

  • はー中古車サイトを doomscroll して時間と体力を溶かしている・・・。

  • いっそ新車でも買えばいいんじゃね？みたいなヤケクソな気分でカタログを眺めるが、安めの trim ですが画面がでかくなって空調のノブが消えたりしておりアホか・・・とタブ閉じ。タッチ画面は電話とタブレットだけにしといてくれや。

  • はー車買うとか高額購買な割に何も joy を感じないのよなー。$10k で今の車をあと 10 年延命してくれたらそれが一番いいんだけど。

  • Starleyに転職しました - Islands in the byte stream Fastly レイオフあったのか。
    Fastly to reduce global headcount by 11% (NYSE:FSLY) | Seeking Alpha
    一ヶ月前に報道されていた。一割か。

2024-09-17

  • 最近職場 Chromebox の調子が悪く、毎朝ネットワークが繋がらない。しかし LAN ケーブルを抜いて指し直すと直るのである！朝の routine が増えましたね！（嫌いではない)

  • 今日はなんか仕事やる気ある気がするね。なぜならクルマのことを考えたくないからです！妻氏, Santa Cruz のディーラーの在庫に気に入ったのがあるから買いに行こうとかいうんだもの。やだよ遠いよ・・・。オンラインのレビューも微妙だが、一方でレビューが微妙でない car dealership というのを見たことがない。自動車業界、アレを放置してるのは謎。というか Tesla はなんとかしたんだっけ直営にするとかで。そのへん偉いよなあ。あと CarMax も偉い。めんどくさいから dealership じゃなくて CarMax で買いたい・・・。

  • 冷やかしで中古 Polseter 2 の値段を見ると、思ったより安い。というか値崩れがすごい。Subaru なんて一年違ってもマイルが同じならちょっとしか動かないが、Polester 毎年半分くらいになるんでは？みたいな勢いである。それはいいすぎだが、カネがある若者とかうっかり買っちゃいそうじゃん。なお Rivian は中古も高かった。ついでに Cybertrack はもっと高い。これ買う人たちどうしちゃったのだろうね・・・。

2024-09-18

  • Why Foldable Smartphones Are Worth Considering - The New York Times
    "I’m convinced that phones with bendable screens will become mainstream in the next few years."
    以前「おまえらもうスマホは買い換えなくていいぞ」とか言ってた記者が Pixel Fold を推している！すごい endorsement きたぞ!! 自分も来年は曲がる電話をくれって言ってみようかな。隣の同僚がその橋を渡っておりちょっと羨ましい昨今。

  • 昨晩は妻氏が遅くまで働いていたので自分も付き合って仕事をしていたら、だりー。疲れが抜けぬ。会社まで走る元気もなし。睡眠重要。知ってた。妻氏しばしば Second Shift 状態になってるの大丈夫なのかね体・・・。

  • Meta Tech Podcast Podcast Series - Apple Podcasts
    こんなのあったのか。

  • Swift 6 | Hacker News
    愛されてるなー Swift. Kotlin なんで最近はじめて major version 上げたのに誰にも気づいてもらえていない。What's New in Kotlin 2.0.0 | Hacker News

  • そんな朝、仕事は ethernet cable の抜き差しから始まります。

  • Literata - Google Fonts
    Google には Literata という知る人ぞ知るフォントがあり、これはなんと Google Play Books 用に作られたフォントなのです！といった事情から若干愛着がありたまに社内資料で使ったりしているが、しょうじき Merriweather の方が画面では映える。

2024-09-19

  • カメラが使えない、というびっくりバグに遭遇したので同僚に話したら問題のバグ ID を教えてもらう。我々が週一回どころか月一回で Continuous delivery できるのは来世紀だなこりゃ・・・。

  • How ‘The Apprentice’ Fueled Donald Trump’s Rise to the Presidency - The New York Times
    これほんとに面白いな・・・。テレビスターとしての才能・・・という言葉には抵抗があるが、圧倒的な素材としての良さはあったのだろうな。

  • The Apprentice (American TV series) - Wikipedia
    そしてこの reality tv show, 元大統領ホストで 10 年以上やっていたのだね。そして後半はともかく序盤はめちゃ人気あったらしい。もっとチョイ役というか ephemeral な役回りなのかとおもっていたら、めちゃ主役じゃん。

  • ¥マネーの虎 - Wikipedia
    そういえばマネーの虎ってあったな・・・というのを思い出してみると、これは先進的でフォーマットは海外にも輸出されたらしい。そして The Apprentice における「マネーの虎フォーマット」の影響は明らかである。そう考えるとあのしょーもない大統領の躍進の原点には日本のしょーもない reality tv show があったということになり、ほんとに？（別に責めるとかいう話ではなく、桶屋バタフライだなーという感慨です。）

  • ふと比べてみたら、円だと iPhone 16 より Pixel9 の方がちょびっと高いのか。Pro の値段もほぼ同じだし、それは大丈夫なのか。ただドルもおなじか・・・。

2024-09-20

  • 今週は生活乱れで運動不足。はー来週から立て直したい・・・。

  • レビューの遅さや細かさに嫌気が指して社内フォークしたライブラリの owner に悪行がバレ怒られが発生。ここでごめんねー悪気はなかったんだよー(おめーらがさっさとクラッシュを直さねーからだよ)と頭を下げ、しかしフォークは死守するのである。MP 消費。

  • Fed が利率を下げた途端に High Yield Account の利率も下がった！すごいねー。いやーもう一年くらいはやく預けていれば laptop の一つも買えた気がするのだが、まあ仕方なし。あたしはお金は苦手なのです。

2024-09-23

  • キャンプより帰宅。そして夜な夜な明日のミーティングの準備。なぜなら短いプレゼンをアサインされたからです。なんで月曜に人集めて Summit とかやんのよやめてくれよ・・・。

2024-09-24

  • Fast Message Queue (FMQ)  |  Android Open Source Project
    Fast Message Queue with AIDL  |  Android Open Source Project
    こんなのあったんか。しかもかなり前から・・・。

  • ミーティング。偉い人々が適当にトレースを開いて「あ、ここが遅いねー」「おや、ここも遅いねー」とかいびられる会。んなこたーわかってんだよ。でもそういうの喜んで直してもモニタリングを整備しないとまたどこかのクソどもが壊して遅くするわけじゃん？そのいたちごっこがイヤだから適当な最適化やっていい気分になりたいのを我慢してモニタリングとか調査のインフラをつくるかったりー作業を優先してやってんじゃん？高速化と関係ないバグに時間がうばわれないようにクラッシュしがちなコードを整理してバグりにくいようリファクリングとかしてんじゃん？それをなんかこっちが仕事してねーみたいに遅い遅い言いやがって。お前らのチームは 30 人がかかりでやってるかもしんないけどこっちは 3 人なんだよクソったれ。はーやるき消失うんざり。

  • しかしこういう人の心のわからないマネージメントと付き合うのもこのチームにいる対価なので、 toxic people に心を削られず楽しくやってくぞ。ただ単なる部外者ならスルーすればいいけど権力者なのがなー。権力者が micromanage とかマジ最悪という気になるが、少なくとも直属の report line にいるわけではないだけマシとも言える。テクニカルに面白そうだけどマネージャに遠慮申し上げたいチーム、けっこう多くて残念。

  • はあこういう「嫌なことを我慢する」というのは精神力を摩耗するなー。疲れてなんもする気にならんわ・・・。まあ今週を乗り切ればしばらくはなんも言ってこないと思うので、ハイハイって顔しておくべし。

2024-09-25

  • 「エーアイでプログラマの仕事がなくなる」とかいう心配は、近々にクビの心配がない人の心の余裕だよなあと絶賛レイオフ実施中企業勤務無能の中年は思うものなり。心の余裕がない身からすると、経年スキル劣化による雇用可能性の低下とエーアイに伴うそれは、だいたい同じに見えますよ。

  • それにしても「エーアイがコードを書いてくれる」というのは一定程度事実ではあるが問題を卑小化してる感がある。エーアイというか ML のモデルというのはメタソフトウェアなわけで、その（書かれるはずだった）コードがやる仕事を代りにやってくれるというのがエンドゴールなわけじゃん。コードを書いてくれるんじゃなくて、コードがいらなくなるのだよね？正確には何らかのタスクを達成する（長い）コードを書く代わりに、同じタスクをやってくれる（短い）エーアイコードを書くようになるわけじゃん。もちろんここでいうコードは広義のコードで、それはプロンプトかもしれないしトレーニングデータかもしれないし RL の価値判断の手伝いかもしれない。つまり仕事がなくなるのが心配な人はエーアイ人材になるのがいいのではないか。LLM 直近隣接分野の NLP とか既にそうなってるらしいですよ？

  • とはいえそんな世界にクライアントサイドプログラマの居場所はなさそうな予感はありますな。WeChat とかに萌芽の見られた "mega app" は、エーアイによって実現されるのかもしれないねー。ま、おっさんには関係のない話である（その前にクビになるから）。

  • OpenAI CTO Mira Murati announces she's leaving the company
    内乱か・・・。

2024-09-26

  • 今日は car shopping attempt part 3 なのだが、諸々の意向により中古の割に対して安くならず sigh といった風情。まあさっさと決まればもうそれでいいです。

  • 中古車串刺し検索サイト CarGurus を見ていてわかったことは、CarMax は少し割高ということ。勉強代・・・といいたいところだが次に買う頃には陳腐化している事実なので、情弱税ということにしておく。年をとるほどに情弱税が高くなってきてる気がする。

  • Mark Zuckerberg’s Political Evolution - The New York Times
    Zuck 氏の変わり身の速さはなんというか、すごいよな。

  • Important Update: Compliance Requirements for New California Workplace Violence Prevention Law Effective July 1, 2024
    職場に新手のトレーニングが来たと思ったら、新手の法律ができたのだね。

  • Our Android app is frozen in carbonite | Hacker News
    app folder でなく普通のフォルダへのアクセスを許す、というパーミッションが必要だと思うのだよな。

  • 車購入終了。諸意向により高級 trim を選んだ結果割高となってしまったが、妻氏が気に入ったようなのでそれでいいです。済んだことなので振り向かずに前を向いてまた十年化石燃料燃やしてくぞ！それまでにアパートの駐車場にも充電器つけてくれよな！

  • 高級 trim, 無駄にスピーカーの音が良い。そして座面が皮。あとハッチバックが電動で開く。などなど、どこまでが高級 trim の力でどこまでが経年にともなう進歩なのかよくからないが、色々グレードアップしたのは間違いない。あわりに保険料が高くなった。保険料、年々安くなるので我々の安全運転が認められた？とか思っていたが、車の資産価値が下がっていたおかげだったのか・・・。

  • ところで Carmax より新手でオンライン完結の Carvana という会社があるのだが・・・試乗できないの？ほんとに？というか持ってくてもらうまで実物見ることすらできないの？いくら一週間で返品できるっつっても、保険だの DMV の手続きだのを考えると返品としたくねーわ。ということで今回はスルーした。が、ちょっと割安っぽいのかな？まあ今更なので深入りせずそっとじ。

2024-09-27

2024-09-29

  • りんご狩り。割となってた。

2024-09-30

CarMax 体験記

CarMax で中古車を買った個人的な記録。

CarMax について

CarMax は US 最大手の中古車販売業者で、創業 30 年くらい。あちこちに店があるだけでなく、各支店の在庫を一括しオンラインで眺め、気になる車を取り寄せて試乗・購入することができる。

取り寄せは一定の距離を超えると有料で、イメージとしては 1 時間以内のドライブでいける範囲なら無料、2-3 時間だと $100 くらい、隣の州だと $300 くらい、東海岸だと $2000 くらい。取り寄せにカネがかかるぶん、取り寄せた車を買う義務はない。

中古車の価格は、特別安くはない。市場価格にあわせて半自動的に値段を決めていると思われる。これは CarGurus というディーラーの中古車串刺し検索サイトで眺める価格とは風情が異なる。ディーラーは時々雑な値付けがある。バラツキがある。CarMax はばらつきがない。掘り出し物も、無駄に高いものもない。

またディーラーと異なり、値段に交渉の余地がないとされている (no haggle pricing)。あとオプションの押し売りとかもない。唯一あるオプションは Max Care という故障保険だが、別にプッシュしてはこない。オプションにかぎらず営業の押しがゼロ。その後腐れのなさを好む人も多いという (Reddit 情報)。

競合としては先に書いた CarGurus のようなディーラー串刺しサイト、オンライン専科の Carvana などがある。自分はディーラーで買うかったるさを避けたかったで CarGurus はパスし、オンラインで眺めるだけで実物チェックや試乗のない(※返品は無料) Carvana の futuristic approach に踏み切る勇気もなかったので、老舗最大手 CarMax に落ち着いた。

経緯

車の買い替えを決めたのは、それまでに乗っていた車の調子が悪くなり、乗り続けるのに不安があったため。十年前に買った日本車で走行距離も 100k mile 程度なので丁寧に乗っていればもう倍くらい行けるはずだが、さぼらずメンテに行く丁寧さが足りなかったと反省している。

慣れもあるため同じメーカーの同じ車種 (Subaru Crosstrek) を考えていたが、一回り大きいのも検討しようということになった。

車種を決めるため、まずディーラーにいって新車の該当モデルをいくつか試乗した。結果、一回り大きいモデル (Subaru Forester) を買うことにした。ただ値段が高すぎるように感じたので、節約のため中古を探すことにした。

一方でアグレッシブな節約をする気もなく、数年以内の製造で mile も浅いものを探した。CarMax は、そうした検索は得意。アカウントを作って Saved search を設定し、毎日あわられる車を眺めた。

いくつか候補を絞り、主要な車ユーザである妻に brief し、近くの CarMax 店舗にある在庫者を試乗することにした。この車は値段が少し割安に見えたが、試乗に言ってみると社内に血痕っぽいシミをふくむ汚れが目立ったので見送った。

またしばらく眺め、今度は近隣の店舗にある車に目をつけて取り寄せた（有料)。試乗に行き、今回は特に汚れもなく、それ以外の要素（たとえばエンジンの状態など）を判断するスキルもないので、購入した。現行の車は trade-in した。探し始めてから一ヶ月弱での購入となった。

細かい補足

  • 試乗を申し込むと翌日くらいに確認の電話がかかってくる。でなくてもオンラインで confirm しておけば問題なさそうだが、別に upsell とかないので出てもいいんじゃないでしょうか。

  • 試乗は「１５分くらいで帰ってきてね」といわれる。自分たちは 15 分くらいで帰りはしたが、そのあと車を眺めながら 30 分くらいモタモタやっていた。特に急かされることはなかった。

  • 試乗以前の、在庫を眺め座席に座ってみたりするだけなら、店員に煩わされずセルフサービスで在庫駐車場内を歩き回れる。子供は Porche に乗って喜んでいた。壊すなよ。

  • 購入は、意思表示から受取まで二時間半くらいかかった。平日午後。ほとんどが州に向けた paperwork の待ち時間。DMV の登録はぜんぶやってくれる。保険は自分で切り替える必要がある。なお必要な手続きを事前にオンラインで済ませる express checkout というのを使うと店頭の時間は 30 分程度で済むらしいが、事前に購入意思を示す必要がある（はず）。

  • 支払いは check を使えた。ただし口座の残高を電話のアプリの画面で見せる必要があった。なお Debit card も使えるが、事前に銀行に電話して高額引き落としをブロックされないよう言付ける必要があるとのこと。

  • 故障の保険 Max Care はつけなかった。高いのと、修理には CarMax の店舗に出向く必要があり、うちから近くなく不便なため。

  • 手数料は安い($100-200 程度)。消費税が高い(7.5%)。普段は気にしてないが、高額出費の際はすこしウッとなる。

  • Trade-in の価格は、ディーラーと CarMax で一割弱のズレがあった。CarMax の方が高く売れた。買わずに売るだけも可。逆に trade-in 優遇はない。

  • 一見お買い得に見える車は、マイルや製造年度といった定量化可能なファクター以外に問題を抱えている傾向がある。（内装の汚れ、傷、匂いなど）。そういう車はなかなか売れず、スペック相応の値段でデビューするも段々と値段が下がっていく。

  • 売れずに市場に残っている年数は、CarMax は開示していないが CarGurus のサイトには表示されている。

  • 一方 CarMax には "like 数" の表示があり、これは本来は射幸を煽るためについているはずだが、実際には市場滞在時間の proxy になっている。時間がたつほど like を蓄積しがちなので。

  • EV は検討しなかった。充電器がないので。Hybrid も検討しなかった。なお CarMax にも EV は売っているが、メタデータがガス車特化なので EV 固有の情報で検索できない（走行可能距離とか）。

気分

  • 不調な車にはのりたくないが、車を買うこと自体は特に楽しみでもなく単なる高額出費なので、買うまではストレスを感じていた。特別良い deal をしたとは思わないが、買ったあとは肩の荷が下りてストレスが下がった。

  • CarMax にせよ CarGurus にせよ中古市場はランダムで次々と新しい（新車という意味ではなく、最近市場に出てきた）車が登場するので、スロットマシン味があった。つい毎日サイトを見てしまうが、それがストレスを助長していた。

  • 自分たちは外装の色、マイル、あと一部オプションに条件を持っており、あと現行車への不安もあり気が急いていた。結果として条件を満たすも必要以上に高い trim の車を買うことになった。条件にフレキシブルなら、つまり色、マイル、オプションへの縛りが少なかったり、長い間待ち続けることができるなら、より望ましい deal を引き当てることができたと思う。根気がなくて残念。

  • 車自体は不満ナシだけど、はやいとこ一回 inspection したい。

Absence of Think-to-Write

Sam Altman がとあるインタビューのなかで writing は thought を externalize し idea を clear にするのに重要だという話をしていた。

https://www.youtube.com/watch?v=6pxmdmlJCG0

自分は考える時間が足りていないとここ数年思っている。Write-to-Think の教義に習うなら、書くのが足りてない。そしてこの不足は段々と悪化しているように思える。定期的に書く・考えるというアクションを取っていないと、書く・考える知的筋肉が失われてしまう、気がする。最近は、なにか考えないといけないと思っても集中に至るまでに時間がかかる。集中に至れないことも多い。

なんらかの方法で書く仕草を日常に取り戻したい。仕事にしても、それ以外にしても。

昔のように長いピースを書き切る力は、今はもうない。一方、毎月の箇条書きは「考える」に至っておらず、脊髄反射に終わっている。

プライベートなノートに頭の中にあることをダンプするのはたまにやっていて、ある種の役割を果たしてはいる。ただこう、なにかが蒸留される感じはない。もっといえば、考えが蒸留される感覚を長らく感じていない。しいていえば仕事で書いてるテキストは多少蒸留してるかもしれない。さすがに垂れ流しはできないからね。

書く力、考える力が失われた現状からいきなり蒸留ができるようになるとは思えないので、まずは定期的に書く・考える習慣を取り戻したい気がする。世代的な愛着からブログを書きたい気持ちはあるが、始めて続けられる方法もよくわからない。

なんらかのコミュニティのちからを借りられたらとも思うが、コミュニティに返せるものがある感じもない。というか、そういうコミュニティがどこにあるのかもわからない。note.com とかはてなブログとか使えばいいのだろうか。アウェイ感が強くて腰が気が乗らないんだよな。そんなことを 20 年前にも書いており、成長がない。

checkNotNull() and getClass() NPE

ある時ランダムに押し付けれたクラッシュバグのスタックトレースを眺めていたら、Preconditions.checkNotNull() の中で NPE が起きている。NPE 自体はコードから期待される挙動だが、エラーメッセージは Object.getClass() を null に対して呼んでるよ" という。けれどコードを睨んでもそんなメソッドは見当たらない。

最近は R8/D8 が過剰なインライン化などおかしなことをしがちなので、これもその例かと Baksmali で DEX のバイトコードを disassemble し眺めると、たしかに getClass() が呼ばれている。しかしデバッグ情報を追加するとかではなく getClass() を呼んでいるだけである。

そして大量にある checkNotNull() のオーバーロードのうち getClass() を呼んでいるのは引数を一つとるバージョンだけだ。

その他の状況証拠からこれは R8 の仕業に違いないと当たりをつけコードを睨むと・・・ CheckNotNullConverter.java というのがありますねえ。

曰く:

  /**
   * Replace all calls to methods marked as a check-not-null method by a call to Object.getClass(),
   * using the first argument as the receiver for the new call.
   *
   * <p>If the invoke has an out-value, the out-value is replaced by the first argument to allow
   * removing the invoke.
   */

該当コミットはこちら。

なぜ以下のような超シンプルなコードを:

  public static <T> T checkNotNull(@CheckForNull T reference) {
    if (reference == null) {
      throw new NullPointerException();
    }
    return reference;
  }

わざわざこんなふうに書き直すのだろうか:

  public static <T> T checkNotNull(@CheckForNull T reference) {
    reference.getClass();
    return reference;
  }

たしかに発生する例外は同じ NPE でバイトコードのサイズは短くなるかもしれませんがねえ・・・getClass() のコストは限りなく小さいんでしょうがねえ・・・エラーメッセージ引数なしの checkNotNull() なら情報は失われませんがねえ・・・

社内の static analysis は nullability にうるさく、 checkNotNull() は警告を消す目的で広く使われている。だからこの小さな省略も現実のアプリではそれなりにサイズ削減効果があった・・・のかもしれない。

なお同じバグで困っている人はいないのかと社内のバグトラッカーを眺めると、人々は特に文句を言うこともなく粛々と NPE を直していた。もしかして知らなかったのあたしだけ・・・？

Spinach, August

2024-08-01

  • ８月ですねー。来週発表会ですねー。ヤバいバグは概ね直ったようで良かったですねー。そして電話機の主役は完全にカメラから AI に写ったようだけれども、エーアイ何が出来るん？発表会を見ろという話か・・・

  • おかねの本を読み、そういえばなんらかの事情で売りそびれたまま放置してある自社株あったな売ってインデックスにしよー・・・としたら、何らかの設定により売れねー。そして設定変更のウィンドウは数カ月後です。やれやれ。売るぞ！それまで AI 景気崩壊すんなよ！

  • ついでにふと robo advisor 実績ブレークダウンを眺めていると、ここ数年めっちゃ bond 下がってんな。bond, 上がらないのは知っていたがこんな暴落するとは知らなかった。インフレだからなの？ただし COVID 開始時に一瞬おきた株の暴落ではビクともせずむしろちょい上がるような勢いなので、株のリスクに備えてくれはしている。とはいえ株の利益を帳消しにしすぎだろう。どおりで資産が増えないわけだぜ。

  • 早い段階できちんと勉強し S&P500 とはいわないまでも債権でなくインデクスを買っていたら家の一つも建ったのではと思うと悲しい。しかし値動きに一喜一憂するのは地獄への道なので、自分の臆病さの対価を見つめながら生きていきます。

  • Meta jumps on solid earnings beat but warns of 'significant' spending expansion Meta 景気いいねー。伊達に hiring spree してない。今は他の big tech から引っこ抜くにはベストな時期だよなあ。

2024-08-05

  • Merge "trace_processor_shell: Add --query-string option." into main · google/perfetto@3e7cc0b · GitHub
    夏休みの自由研究にやったこれ「なにこれ超便利じゃね？」というコメントを中の人にいただき、ついでに peer bonus もいただき、ありがたいことです。まあ中の人くらい使いこなしてる勢でないと旨味の伝わらない変更ではある。

  • ちなみにその前にもらった peer bonus は、あったこともない東京の人から「podcast 聞いてます！」というものであった。趣味ほど評価されている。

  • Opinion | The Economy Is Looking Pre-Recessionary - The New York Times
    不景気きちゃうのかなー・・・不景気来ちゃうとレイオフも来ちゃうので勘弁してほしいなー・・・。

  • Todoist will separate do and due dates : r/todoist
    いいじゃん！
    引退資金が溜まったら Todoist か Wordpress の仕事したいなー呼ばないけど。

  • 仕事。

  • 今のチームはろくでもない仕事も多いが ART のバグを踏み当てるといった興味深い事例も多いので、それは面白さだよな。誰もがそれを面白いと感じられるわけじゃないけど、VM のバグとか面白くないですか？

  • key binding - Selecting columns in Visual Studio Code - Super User
    半年に一回くらいしか使わないので覚えられなし。

  • 会社のデータインフラは素晴らしいなーモバイルと違ってー、と鼻歌まじりにSQLを書いていたら単体テストの中でデータベースがクラッシュし真顔になるターン。仕事進められないじゃんこれ。ワークアラウンドもわかんねーし本日は営業終了〜。

  • Evolving how you create on Spotify for Podcasters
    Spotify, いつの間にか Anchor の録音はやめて Riverside にアウトソースするようになったのか。コスト減の時代ですねえ。

2024-08-06

2024-08-07

2024-08-09

  • 次の電話機サイクルに向けて Planning、でかくて成熟した部門だと「これじっさい誰か必要としてるのかね・・・」みたいなプロジェクトをやりがちだが、未熟で弱小（って規模じゃないんだけど。相対的に。）だとやることいっぱいけどどうみても半分もできねーわこりゃ・・・みたいになりがちである。

  • Planning とか全然好きでないせいではかどらねーな。しかしこれは個人の好き嫌いだけでなくスタイルの合わない management にレビューされんのがかったりー、という気持ちの影響が大きい。しかしそういうダメさは緩さや未成熟さの反映なので、超巨大チームから逃れる税金なのである。

  • デザインが重要とかいう割に design doc の GDoc はチョコチョコっと事後改変出来るのに対しコードはバージョン管理されて presubmit, code review でようやく変更できるの、主張する重要さと扱いが一致してないよな。まあ結局はコードが重要という創業初期の判断がそのまま今日まで影響しているわけだが。個人的にはその方がいいので文句はなし。

2024-08-11

2024-08-12

  • クルマ氏、またオイルランプがついたので修理に出したところ $4k との返事。Ouch.... せめて修理後数年は走ってくれるといいのだが・・・。

  • Former YouTube CEO Susan Wojcicki dies at 56 after battle with lung cancer : NPR
    昨年一年の YT 修行で楽しみだったのは Susan CEO だったのだけれど、異動した直後に引退してしまったのだよね。まさか癌だったとは。最初は Ads を率い、途中から YouTube の立て直しに送り込まれて期待通り立て直し、Google というものを心の底から理解している、唯一でないとしたら数少ない exec であった。御冥福をお祈りします。

  • Sundar Pichai on X: "Unbelievably saddened by the loss of my dear friend @SusanWojcicki after two years of living with cancer. She is as core to the history of Google as anyone, and it’s hard to imagine the world without her. She was an incredible person, leader and friend who had a tremendous" / X
    社長氏、まったく heart warming な要素が無いな・・・。字数制限ないんだからもうちょっとなんか書いてもいいのよ？付き合い長いんでしょ？

  • PGlite - あら素敵。これで誰か SQL 練習帳作ってくれないかな。Interview Query みたいなやつ。SQLite だと SQL がショボすぎて盛り上がらないのだよな。

  • これにしても Duck にしても、WASM は色々なものを unlock してて面白いよなあ。

  • How to avoid losing items? Holding pens | Hacker News
    微笑ましいスレじゃないですか。

  • 仕事。

  • 「おまいらが deprecate したっていうその API, なんでダメなんだよオイ？」「いや deprecate って書いてないじゃん使いたいなら相談してねって言ってるだけじゃん・・・」英語は難しい。というか書いたものを読んでもらうのは難しい。てか誰だ Deprecation とか言い出したのは。どこにも書いてなくない？

  • しかし半年前に書いたこのドキュメント、今起きている苦情を完全に予見しており我ながらこのひと賢ーいって関心しちゃう。半年でこの賢さは完全に失われている。忙しいのよくない。マジで。

  • なんかあたし気を散らされ過ぎなのでは？ Deep Work しないとダメじゃん？

2024-08-13

  • Gemini に KLL について聞いたが、ちょっと深堀りするとすぐ嘘つくなこの人は・・・。存在しない本を引用するの grounding どうなった。

  • Video with alpha transparency on the web - JakeArchibald.com
    まあ native Android でもわりかし面倒だよね正直。 TextureView 使えばいいといえばわけだが。　

  • 仕事。

  • 製品発表会。Watch Party 会議室期待通りドーナツあったよー。製品はまあ、Gemini Live が来るのはいいんじゃないかな。Pixel 関係ないけど。カメラの重みは減ってしまったが、まあいいんじゃないでしょうか。高いけど耳栓ほしいな。エーアイ会話耳栓とか実用性はさておき無駄に futuristic でいいじゃん。最終的にはサードパーティ耳栓でも使える方がいいと思うけれど。

  • Google Pixel 9 Pro | Hacker News
    人々は underwhelmed ですなあ。古い電話の苦情ばっかし。まあしゃーない。

  • Google Pixel 9/Pro/Fold Impressions: They've Finally Done It? - YouTube
    MKBHD が褒めてくれてるからもうそれで報われたッ (YT 脳の恐怖)

2024-08-14

2024-08-16

  • Former Google CEO Eric Schmidt's Leaked Stanford Talk | Hacker News
    うへ. A Brief History of Transformers (Not the Robot Kind) とか読むと一部 AI 人材はハードワークしてみたいだけどねー 5 年くらい前までは。良くも悪くも COVID ですべてが変わってしまったよなあ。なお電話機部門はわりかしみんなハードワーク(長時間労働)なのでここは別の会社という風情。自分はガン無視して 9-5 だが。5時からミーティング始めるのやめろ!

  • それにしてもエリちゃん、古巣をディスる社長になってしまったか。落ちたものだねえ。いいんだよもう一回社長やってくれても？(と思ったが 69 歳か...)

  • そういう意味でエリちゃんのあとの社長だった L 氏のメディア存在感のなさはある意味立派。Google の闘争心のなさは L 氏の反映という感はあるよな。現社長にも引き継がれているが。そしてそういうところが必ずしも嫌いとは言えない自分。ともに滅びような・・・。

  • Github から音声ファイルがリンクされていたので聞いてみると、完全な与太話でなんか洞察を得られる類のものではないな。そういえばこういう人だったわシュミ氏。なんとなくそれっぽい話でケムに巻くのが得意で、それっぽい話はその瞬間は面白い気がするという。そして、なんとなく憎めなさがあるのだよなあ。古き良き日々の記憶と結びついているから、というだけかもしれないが。

  • クルマを修理にだしていた repair shop から連絡があり「部品交換してテストしたら煙を吹いちゃってダメだわこりゃ。」とのこと。予想外の出費の桁が一つ上がりそう。厳しいなー・・・。

  • 中古車どうかなーと Carmax を眺めるものなり。

2024-08-19

2024-08-20

  • クルマが帰ってきたが、配線にダメージあるのでまた問題おきそうだねー起きたら来てねーとのこと。はー買い替えたさよ・・・。

  • Basecamp: Features
    ふと Basecamp 最近どうなってるのかな、と思ったら特にどうもなっていなかった。Pricing にはユーザ単位でチャージしない Pro という割引モデルが追加されていた。1300 グループにしか売れていないことを強調しているが、そんくらいであんな目立つビジネス成立するのだね。

2024-08-21

  • 大統領選、Debate での Biden の失態から Trump 暗殺未遂、Biden 放逐から Harris 上昇の流れ、娯楽として飽きさせない完成度の高さを認めざるを得ない。こうした娯楽性は民衆の engagement を支えているだろうが、娯楽の申し子の前大統領みたいのを生み出してしまう両刃の剣という感じ。

  • Next-gen Web Extension Framework – WXT
    GitHub - PlasmoHQ/plasmo: 🧩 The Browser Extension Framework
    趣味で頓挫しているやつをこれに直したい・・・・。

  • 仕事。

  • コードレビューが 3 つ詰まっている。並列度あげると気が散るのでさっさとレビューしてほしいんだけど、こういう時にいい buddy が欲しいよなあ。まあ他のコードに踏み込んで直してるやつもあるんで仕方ないのだが。

2024-08-22

  • 子の学校もはじまり電話機も出荷されそろそろ日常を取り戻せるかな、ということで久しぶりに朝コーヒーの日です。コーヒーではなくペプシを飲んでいますが・・・。なお前回は 5/30 だったらしい。そりゃ生活も崩壊するわ。

  • Google Testing Blog
    このブログまだ続いていたのか。長寿だなー (via reddit)

  • SMS にゴミがたまりすぎるので困っていたが "Archive" という機能があることにきづいた。全部 archive してすっきり。チャットじゃなくてメールのように扱う必要があったのだな。

  • 仕事

  • 性能リグレッション。はー調べて直すの楽しいんだけど他の仕事があるんだよねー・・・。

  • 上司「今期出世申し込みどうすんの？」わたくし「なーんも成果ないんでまた今度で。出せばいけますかね」上司「いやー」という会話。

  • 出世とか置いといてリファクタリングだ！という口実で Kotlin だ！$$ < Kotlin

2024-08- 23

  • GPU Utilization is a Misleading Metric
    ここに出てくる "GPU Efficiency" がいわゆる "GPU Utilization" なのかと思っていた、というか CUDA の教科書だとそっちが正しい解釈だと思うが・・・。

  • The 1619 Project を聞き始めたが、冒頭一時間くらいでもう退屈して駄目だった・・・。黒人ストーリー、アメリカのこじらせがひどすぎてついてけないのだよなー（黒人が悪いという話ではなく、外国人にはバーが高すぎるということです。）

2024-08-26

  • アタッチメントをつけ忘れたままバリカンしたらラーメン発見伝の悪役みたいな面構えになってしまった。まあいいです。

  • 仕事。

  • 締め切り当日（先週金曜）にたらい回されてきたバグをみて "any updates?" とか聞いてくる TPM ちゃん、ちょっと inter-personal skill 低すぎなのでは? この人はいつも自分の expectation setting を下回ってくるのでもうどん底ですよ?

2024-08-27

2024-08-29

  • 相手にするのがややめんどっちかった PGM ちゃんが他のプロジェクトに移っていった！正確にはこの個人の問題ではなく密結合なプロジェクト同士で担当 PGM が分離されているのが問題で、マネジメントわかってねーなしかしフィードバックかったりーな・・・とか思っていたら誰かが進言してくれたらしい。めでたい。

  • 最近、押し付けられたクソコードを満足のいく状態まで持っていくべく超過労働でリファクタリングしているのだが、そうやってコードベースにエンゲージしているとこれまで考えつかなかったアイデアが出てくるので、コードを書くことで一つのコードベースの理解を深めるのは大事だよなあ。雑用が多いとおろそかになりがち。

  • TPM にしろ PGM にしろ、人間という物理的な存在として hard-to-dismiss な notification presentation しかできない人というのが結構いて無価値に感じてしまうが、人間という物理的存在として圧を発揮するのは AI にはできない仕事だよなーと思う。(vs writing code).

2024-08-30

2024-08-31