Google WorkflowのYAMLファイル中でファイル名の箇所をtypoしてコケさせてしまった。時間がかかるワークフローなので20分無駄にしてしまい、実質罰金20分になってしまった。再実行でまた20分取られるので実質40分かかってる。 20分無駄にするのは辛すぎるの…

Scalaでコードを書いていて、複数のリストをzipすることがあった。 val xs: List[Int] = ??? val ys: List[Int] = ??? val zs: List[String] = ??? xs.zip(ys).zip(zs) // => List[((Int, Int), String)] しかしzipは2つのリストからList[(A, B)]を作るので…

Scala CLIのおもしろい使い方を見付けたのでメモ。これまでと比べてはるかにScalaのちょっとしたスクリプトのシングルバイナリを生成できるようになるので、本当にGolangみたいに簡単にちょっとしたツールを作れるようになった。 scala-cli package Scala Na…

普段薬局で買っているやつを切らしたのだけれど、毎回空き缶が出るのでなんとかしたいと思っていたので、別のやつに買い替えることにした。剃刀派なので。 シェービングクリーム買いました。なんか思ってたよりデカかった。大変よい香りです。 pic.twitter.c…

htmxについてちょっと遊んでおきたかったので遊んだ。Cloudflare Workersの上でHonoを動かして、TSXでHTMLを返しつつ、その中にhtmxをのっけた、みたいな構成。𝑹𝒆𝒂𝒍 𝑾𝒐𝒓𝒍𝒅 𝑩𝒖𝒔𝒊𝒏𝒆𝒔𝒔...でも使えるかな？ https://wild-meadow-79c7.windymelt.workers.dev/ な…

Scala 3でRefinement Types(篩型)を実現するライブラリIronに入門したので紹介します。最初はRefinedに入門しようとしてたら、Scala 3ではあまり動かなかったのでそのままIronに入門しました。 tl;dr Refinement Typesっていうのを使うと、普段動的にチェッ…

日記です。 ずっと昔からのことだが、努力するのが下手で、なんとかならないかと思っているうちにあっという間に30歳になってしまった。とはいえまだ諦めたわけではなく、自分に可能な範囲で努力していきたいと思ってはいるのだが、ウーンもっと努力していれ…