年末年始は妻の実家のある福井の海沿いで過ごしている。宮崎県とかいうド南国生まれの自分にはかなり厳しい天候だけど家の中は暖かいし海鮮が美味しい。 2024年は結婚などで大きな変化のあった1年だったが、2025年は広げた風呂敷を畳んでいくような1年で、大…

前回: tanishiking24.hatenablog.com 前の3ヶ月と比べると比較的忙しくなかったが、プライベートなところでいろいろとイベントがありなんだかんだドタバタしていた。 ICFP/SPLASH シンガポール tanishiking24.hatenablog.com Scala関係でよくオンラインで話…

EPFL裏手のサントル通りの夕暮れ スイスのローザンヌで開催されたScalaDays 2025でScala の Wasm 対応(の特にWASIやComponent Model)について発表してきました。Scala - Qiita Advent Calendar 2025 - Qiitaの記事なんですがほとんど旅行ブログになってしま…

シンガポールで開催された WebAssembly Workshop @ ICFP/SPLASH 2025 で Scala から WebAssembly へのコンパイラについて発表してきました。 国内外いろんな国のインターネット上でお互い認知していた人たちとたくさん話すことが出来て本当に楽しかった。行…

Barocco Mistel MD600 Alpha 静音赤軸 分割キーボードの中では安かったのと、@sifueさんのおすすめもあり、770より小さめのMD600を買ってみた。半年ほど愛用しています。 mistelkeyboard.com MISTEL barocco MD770 静音赤軸はどうでしょう。日本語配列もあり…

前回: tanishiking24.hatenablog.com ここ数ヶ月はイベントが盛りだくさん+9月末に仕事でひとつ大きめな締切があり、恋に仕事に大忙しだった 鞍馬貴船登山 修論締め切りを勘違いしていて、修論締め切りの3日前に妻と鞍馬貴船に軽いハイキングに行った。 7月…

大学院卒業しました pic.twitter.com/Lhzl8mYJZK— tanishiking (@tanishiking) September 22, 2025 先日、東京科学大学情報理工学院 数理・計算科学系を修了し、修士(理学)を獲得しました。 大学院の入学は2021年4月で、卒業するのに4年半もかかってしまった…

大学院修了に向けてと、仕事と、また家庭でもいろいろと変化が大きくドタバタとした3ヶ月だった 大学院に復学した 𝒮𝒸𝒾ℯ𝓃𝒸ℯ 𝒯ℴ𝓀𝓎ℴ 2021年に入学し、2023年頃からしばらく休学していましたが、4月から復学し9月卒業を目指すことにしました。4月に中間発表をし…

振り返りブログ月単位だと面倒になってしまうし、年単位だと重すぎるので、3ヶ月ごとに書いてみよう。 スコーン 年始 今年の年末年始は妻の実家で過ごした。集まる親族が多くてサマーウォーズを彷彿とさせる(あそこまで人数多くないが)、うちの家も昔はたく…

GitHubのIssueなどにつけられるやリアクションを見るとすぐに傷ついたり苛ついたりしてしまう。 ポジティブなリアクションは気軽に相手を褒められる機能として良いと思うのだけれど、ととを区別する必要はないかな〜と思うので全部にすることにした。本当に…

特にターミナルにこだわりはなくiTerm2とtmux使っていた。こだわりはないものの、iTerm2の設定をポチポチするのが面倒なので設定ファイルで管理したいし、なんなら設定ファイルもあんまり書きたくない。 どうやらghosttyってやつがゼロコンフィグでいい感じ…

前回までのあらすじ: 2024年10月21日から2024年11月12日までの約3週間、シドニー(オーストラリア)とウェリントン(ニュージーランド)に新婚旅行で行ってきました！シドニー編はこちら: tanishiking24.hatenablog.com 新婚旅行後半はニュージーランドのウェリ…

2024年10月21日から2024年11月12日までの約3週間、シドニー(オーストラリア)とウェリントン(ニュージーランド)に新婚旅行で行ってきました。 結婚してすぐに妻の転職に伴う有給消化期間が重なり、こんなまとまった休みは二度とないかもしれないなと思って3週…

主に私生活で変化がめちゃくちゃ大きい一年だった。 本当に毎月なにかしらのイベントがあったのだけれど、その中でもとりわけ大きかったイベントと仕事を振り返っておこうかな 結婚して引っ越しした お互い10年程一人暮らしを経て初めての同棲だったし、一人…

Paekakariki escarpment track https://www.wellingtonnz.com/visit/trails/escarpment-track tanishiking24.hatenablog.com 新婚旅行でニュージーランドの(妻の従兄弟を訪ねて)ウェリントンに滞在しています。自然豊かでこの国特有の動植物を見ることができ…

すごく良かった！久しぶりに技術系の本を通読できた気がする gihyo.jp Wasm Component Model の勉強しないとなーと思っていた*1ところに手を動かして学べる本が出たので読んだ！ Wasm Component Model のツールチェーンが一番充実しているのはRustで、これを…

散文 何だか最近ソフトウェア開発者として焦りを感じている 知りたいことや学びたいことがたくさんある。WasmやRISC-V・コンパイラ最適化やLLVMについてだってもっと深く知識を身に着けたい。 とはいえ時間の全てを勉強に投げ出すわけにはいかない。仕事はあ…

2024年6月に開催された ScalaMatsuri 2024 に参加しました！ Scala to WebAssembly: How and Why 今回は久々の大規模オフライン開催で、会場は久しぶりにお台場のプラザ平成でした。この会場でのScalaMatsuriに参加したのは5年前の2019年(と2018年に初参加)…

多摩川浅間神社より 2024年4月25日に神奈川県川崎市から大阪府茨木市に引っ越しました。前回の引っ越しは2020年9月だったので、3年半程度を関東で過ごしたらしい tanishiking24.hatenablog.com 神奈川への引っ越しは東工大への進学がきっかけでしたが、大学…

2023年9月にScalaDays Madrid参加のためにスペイン・マドリードに10日ほど滞在しました 気温・町並み ボルダリングジム (Sputnik Climbing Legazpi) スペインの朝夜は遅い・匂い プラド美術館 カフェ・英語 観光地 オエステ公園・Temple of Debod や周辺 Pue…

xkcd: Duty Calls Twitter(X)では日夜ソフトウェアエンジニアたちが活発に最強のプログラミング言語や設計やコーディングスタイルなど、答えのないなにかについて意見を交わしている。こういう話が好きな人はやると良いし、自分の著作などに対して間違った意…

数年間継続している「作業メモ」の話 や 1日1ファイル、「調べたこと」「やったこと」を日報として残す | gorou style を見て、僕もやってる！1日1ファイルじゃないけど！と思ったので適当に書く。 3年くらい前から何でもかんでも調べたことを scrapbox にま…

ここ一年、自分の仕事がニッチな分野なこともあり(ビルドシステムやコンパイラ)基本的に一人で仕事をすることが多い。さらにオフィスが国外にあるため出社ができずだいたいは物理的にもプロジェクト的にも一人で仕事をしている。 オフィスなどでコーヒーなど…

todo.紙 これまでいろんなTODOリストを試してきたけど、最近紙で仕事やソフトウェア関係の直近やることリストをまとめている。 これまで5年くらいは Todoist、TickTick、Todo.txt、Google Todo リストを使っていたのだが、どれもいまいちしっくり来なかった。…

(自分の気持ちを整理するために考えをダンプしただけの雑文です) 日本のエンジニア達は海外に出なければいけない｜Kei というブログを見た。日本より海外の方がソフトウェアエンジニアの給料が一般に高いので海外に行こうという話 僕は今ポーランドの会社に…

update(2025/01) 最近はちょうどよい塩梅のコワーキングスペース - そんなに人がいないというかでかい声でミーティングしない他の人に気を使える民度とある程度のコミュニティが両立したコワーキングスペースを見つけられた。プログラミングの話はしないけど…

わたしからはじまる心理的安全性 リーダーでもメンバーでもできる「働きやすさ」をつくる方法70作者:塩見 康史,なかむら アサミ翔泳社Amazon www.shoeisha.co.jp 最近、id:Windymelt と一緒に Scalaわいわい勉強会という勉強会を開催した。 togetter.com 開…

画像元: https://twitter.com/scaladays/status/1701616520546206039 Scala の世界最大のオフラインカンファレンス、Scala Days Madrid 2023 に参加してきました。Scala Days は例年に2回、アメリカとヨーロッパで開催されており、今年は Madrid での開催で…

zenn.dev に移しました github.com Darwin linker はデバッグ情報を最終成果物のバイナリにリンクしない。その代わりに、リンクされたオブジェクトファイルへの絶対パスとタイムスタンプを含む N_OSO タイプの symbol を出力バイナリのシンボルテーブルに出…

2024/1追記: 結局一人だと使わなくなった。家計簿つけれない独身男性はどれだけお膳立てされても家計簿つけれないんだな... b43.jp 家計簿みたいなものをつけたことがなく、自己認知では食費はせいぜい月5万程度でしょうと思ってるけど、実際は全然そんなこ…