たにしきんぐダム

プログラミングやったりゲームしてます

スペイン・マドリード旅行記 2023年9月

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

Twitter上でのプログラミングに関する論争から距離を置いている

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

数年間継続している「調べごとメモ」の話

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

(オフライン)プログラミング仲間が欲しい

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

todo.紙

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

キャリアと給料

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

コワーキングスペース向いてない / CAMPHOR-(学生団体)良かったなぁ

ここ数年フルリモートで働いている。オフィスはポーランドにあるので気軽には出社できず基本的に家とかカフェで一人で仕事してる。しかし、今住んでいる家はあまり広くなく、生活スペースもゲームするスペースも仕事するスペースもすべてひとつの空間にある…

"わたしからはじまる心理的安全性 リーダーでもメンバーでもできる「働きやすさ」をつくる方法70" を読んだ

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

4年ぶりのScala国際カンファレンス、Scala Days Madrid 2023 に参加しました!

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

〇〇(自分の経験したことや得意なこと)は重要であるという認知の歪み

最近Twitterで次のような発言をいくつか目にした(〇〇にはその人が得意とすることや経験したことが入る) 〇〇という本を読んでないやつは☓☓としてダメ 社会人なら〇〇くらい一度はやっておくべき 〇〇もできないとかヤバいだろ 自分が正しい選択をしたのだ・…

(メモ)複数のオブジェクトファイルが同じ compilation unit DIE を持っていてmtimeが同じだと、Darwin linkerが重複したオブジェクトファイルのデバッグ情報を無視する?

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

B/43 1週間使ってみたけど結構良い気がする

b43.jp 家計簿みたいなものをつけたことがなく、自己認知では食費はせいぜい月5万程度でしょうと思ってるけど、実際は全然そんなことないみたいなことが多くB/43を使い始めてみた(一人での利用)。 正直ペアカードとか使わない限り、一人で利用してもそんなに…

プログラミングと作りたいもの(がない)

プログラミングという行為自体が好きで、その行為自体があまりにも好きなので最近はプログラミングを補助するツール(IDEやコンパイラやら)を作ったり、プログラミング体験に関する論文を読んで研究しようとしたりしている。一方でプログラミングにより作りた…

大学院どうすんの

最近研究へのモチベーションがない、ないというか優先度が低い 仕事が今アツすぎる 今 Scala のコンパイラや開発支援ツール作る仕事 (しつつクライアントワークも) してて、正直暇があればそっちの勉強とかしてしまう 半年か1年くらいしたら仕事も単調になっ…

スマホ三脚買った

最近ボルダリング再開してからモチベーションが異常に高く、上達のための自己モニタリングのためスマホ三脚を買って自分の動きを撮影し始めた、実際三脚買ってから成長を感じられてる(単に頻度が上がってうまくなってるだけかもしれない)。 自己モニタリング…

30歳になりました

.alu-embed-iframe-38oQrbKeWCvaE4n7bUvQ { width: 424px !important; height: 211px; } @media screen and (max-width: 480px) { .alu-embed-iframe-38oQrbKeWCvaE4n7bUvQ { width: 318px !important; height: 158.25px; } } スキップとローファー / alu.jp…

近況

ボルダリング再開して1年くらい経った 4-5年前からボルダリングは週に1回くらいやったり、やらない期間が累計2-3年くらいあったりで付かず離れずやっていたのだけれど、2022年3月あたりから再開して最近は週3程度で遊んでいる。 今の仕事は途中で仕事中断し…

Bazel 入門 (for Scala developers)

Scala Advent Calendar 2022 14日目の記事です。今日は Bazel について書きます。 (ちょっと自動翻訳っぽい日本語ですが、実際そうで、よそで英語で(自分で)書いた文章を日本語に適当に訳して投稿しています) プロジェクトのビルド時間は、チームの開発効率…

Scripting with Scala CLI

Scala Advent Calendar 8日目の記事です。 Scalaでスクリプト書いてますか?僕は書いてません、でした、最近までは。 隣のクラスのPythonやGoはインタープリタやコンパイラをインストールしたらすぐに適当なスクリプト書き始められるというのに、Scalaときた…

効率の良い学習方法を身につけるために『使える脳の鍛え方 成功する学習の科学 』を読んだ

2-3年ほど前に大学院受験の勉強を始める際に読んだ。中高生のときに多分こうすると良いんだろうなという勉強方法(というか記憶術)を裏付けてくれる良い本だったのを覚えている。 最近人に何度かおすすめすることがあり、パラパラっと読み直したけどやっぱり…

sbt-npm-package でシュッと scala.js のビルド成果物を npm にアップロードする

Scala Advent Calendar 2022 - Qiita 1日目の記事です scala.js でビルドした成果物を npm にアップロードすることありますか? 私はある。 普通に scala.js でビルドした js を npm にアップロードしようとするとこういう感じの流れになります。 sbt fullOpt…

一人旅が下手

自分はもっと一人でいろいろ楽しめるタイプの人間だと思っていた。しかし、これまで何度か海外に一人で旅行に行ってきて、また2022年9月にもひとりでポーランドに出張/旅行に行ってきて確信したのだが、自分は思ったより一人旅が下手なようだ。 キレイな景色…

午前研究して午後仕事しようと思ったけど全然うまくいってない

東工大大岡山キャンパスの枯れ木と曇り空 2022年10月から大学院に復学して、大学院生活とヨーロッパの会社にリモートで働く二足のわらじをやっている。 日本と本社との時差は8時間(サマータイム中は7時間)なので、基本的にチームメンバーが仕事始めるのは日…

コロナ禍2022年9月海外渡航メモ

カタール空港の熊 2022年9月14日-2022年9月25日にかけてポーランドの本社に出社するために海外渡航していた。 以前は日本に帰国するためには72時間以内に陰性証明書の提示をしないと日本に入国できなく(なので陽性になった場合はそのまま渡航先で陰性になる…

異文化理解力 ("The Culture Map" by Erin Meyer) を読んだ

異文化理解力 ― 相手と自分の真意がわかる ビジネスパーソン必須の教養作者:エリン・メイヤー,田岡恵英治出版Amazon The Culture Map (INTL ED): Decoding How People Think, Lead, and Get Things Done Across Cultures (English Edition)作者:Meyer, ErinP…

ヨーロッパの企業に日本からリモートで働くにあたっての手続きまとめ

tanishiking24.hatenablog.com 以前ブログに書いたのですが、3月からポーランドの企業に日本からフルリモートで週3程度で働かせてもらっています。国内では個人事業主として働いているのですが、働き始めるに当たり手続き周りでいろいろ不安なときに、先駆者…

Tests as Documentation

production code の設計についてはよく議論される一方、ユニットテストをどう書くべきかについてはあまり議論されることが少なく。とにかくカバレッジが高ければヨシみたいな感じで軽く扱われていることが多い気がする。 その結果、テストを書くときやとりわ…

近況

キャリア的にもアカデミア的にも私生活などで大きなアップデートが多かったのでブログ書いた! 仕事 ポーランドのIT企業にリモートで働き始めました フリーランスになりました。アルプ株式会社で副業させていただいています 大学院 研究 - PX/22 というプロ…

Essential Effects を読んで Cats Effect を勉強した

Scala Advent Calendar 2021 1日目の記事です。 scala-cli のこと書こうと思ったのですが、ちょっと時間なかったので読書記です! essentialeffects.dev typelevel.org TL;DR Essential Effects という本を読んで Cats Effect という、Scala で IO とか para…

GSoC 2021 に参加して Scala3 の開発環境を改善させてもらった

2021/06 から参加していた Google Summer of Code 無事修了しました。 GSoC では Add synthetics and symbol information for semanticdb in Scala 3 という題目で Scala3 の IDE や Linter のための基盤となる機能の開発をしていました。 今回の成果により …