scrapbox.io から派生して、 blog.sushi.money こういうことが可能だとわかった。 はてなブックマークはAtom形式でのエクスポートが可能なので、 はてブにAtomを吐き出させる AtomをJSONに変換する あとは同じ というプロセスで、自分のはてブのコメントを知…

ふと気になったけど今まで記事書いてなかったのでいちおう確かめることにした。 ある1引数関数f: A => Bがあったとする。 type A type B val f: A => B = ??? Bがモノイドであるとする。 implicit class BMonoid extends Monoid[B] { ... } このとき、1引数…

最近不眠症の薬を医者に貰ったので、ちゃんと眠れていてありがたい。よく眠れるのでよく夢も見るのだけれど、変な夢を見て面白かった。 なぜか自分は雪山にいて、よく見るとそこはスキー場なのだけれど、みんな虹色とかルビー色に光り輝くへんなスキー板で滑…

ChatGPTは人類があやつる普遍的な言語という構造を理解しているのだろうか、それとも既存の入力をたくさん覚えているだけなのだろうか？ということを思っていたところ、ROT13を入力させてどう振る舞うか見てみるという実験を思い立った。 ROT13とは、単純な…

解説のためにmermaidとかgraphvizとかでグラフを書くことがあるのだが、あんなの人間がやりたくないのでChatGPTくんにやってもらえないかと思った。 例題として自然変換の可換図っぽいものを描いてもらう。 ja.wikipedia.org これから言う内容を、有向グラフ…

Twitterを見ていたら、 id:naoya さんがキーボードの写真を投稿していた。 Keydous NJ68 に Cannon Caps の Winter Tundra pic.twitter.com/J3p4HZM1r0— naoya (@naoya_ito) 2023年3月23日 コントロールキーの記号が面白いが、それよりも自分はコイルケーブ…

Catsのリポジトリを放浪していたら、Issueのタグでlow-hanging fruitという表現を見た。逐語訳すると低い場所に成っている果実である。 意味はおおむね推測できたが、思ったとおり、「容易に達成できる目標」くらいの意味。OSSの文脈なので、「パッとやれば…

モノに注目する 自分にベクトルが向いているうちは何やってもダメだ、というのをどこかの偉い人がしていた。誰だか忘れたのでどうでも良いけど、確かに自分のことだけ考えているときは大してうまくいったことがない。 自分が評価されるか 自分はダメだ 自分…

Tapirなどの実験がてら、OpenAIにアクセスする実験をしていた。とりあえず実験に成功したので解説する。 github.com 実行すると、とりあえず挨拶してもらうようにしている。 $ OPENAI_APIKEY="..." OPENAI_ORG="..." sbt run こんにちは！ChatGPT APIへよう…

非常に面白い題材をTwitterで発見したのでメモ。 このようなツイートを見た。 scalaって関数にも部分型関係があって、コンパイル通ると思ってたけどダメみたい。なんでですかね？val f : Double => Boolean = (d:Double) => trueval g : Int => Boolean = fh…

ここ最近体調がすぐれない。寒い冬が終わってようやく体調が良くなるかと思ったら花粉の季節がやってきてしまった。 幸いなことに、家には空気清浄機がある。しばらくフィルタを交換していなかったので買い替えたら、元々のフィルタは薄墨色に汚れていた。こ…

言いたいことはタイトルで全部言ってしまったので以下は蛇足です。 蛇足 ECMAScriptなどの言語では、正規表現リテラルが存在しており、リテラルと一緒に正規表現オプションを設定できる。 // xオプションを設定する const re = /(\d\d\d) - (\d\d\d\d)/x; *1…

こんな記事を読んだ。 blog.s2n.tech 正規表現はメンテ不可能になりがちなので、キャプチャグループに名前を付けたり、キャプチャさせなかったりしてメモリを節約するのは良いこと。 Scalaでも同じことができそうだったけれどはっきりとは覚えていなかったの…

米語では、{}のことをbraceと呼び、[]のことをbracketと呼んでいる。 自分はこう覚えているというのをメモしておく。 brace 発音がカクカクしていない 丸いほうの{} bracket 発音がカクカクしている カクカクしているほうの[] ちなみに()はparenthesis(よく…

FFmpeg 6が出た。 nico-lab.net 特筆すべきは、AV1コーデックのハードウェアエンコード対応。-c:v av1_nvencを指定することで、NVEncを使ってGPUによるハードウェアエンコードが可能になる。 はずだった!! developer.nvidia.com rev.hatenablog.com 自作マシ…

Scalaでは時刻操作のためにJavaライブラリであるjoda-time(と、そのScala用便利ラッパーであるnscala-time)を使うことが多い。JVM言語の良い所だ。今回はタイムゾーンTZ操作にまつわるメモ。 withZoneでタイムゾーン表記を変更する DateTimeに対して定義され…

ScalaのテストフレームワークであるところのScalaTestのドキュメントを読んでいたら便利なメソッドを発見したのでメモ。実はもうみんな知ってるかもしれない。 等価性比較 ScalaTestでは、Matcherという便利なメソッドを使って等価性や存在判定などのテスト…

最近は、好きなアーティストや、「あの曲なんだったっけな〜！」とがんばって思い出すみたいなことがあるような曲は、CDで買うようにしている。 というのも、以下のようなことが起こったため。 ネット帯域がなんか無駄なのではないか？という気持ちになった …

理解できないものに遭遇したとき、人間は割とすぐに白黒付けようとする。しかも、理解できる範囲でこれを行おうとするのだから、大抵うまくいかない。 自分がビットコインで卒論を書いたときもそうだった。当時はMt.Goxが破綻していた頃で、ビットコインに対…

仕事でコードを書いていて、タイトルのようなケースに遭遇した。 val a, b, c, ... = ??? // 定数 val x = f(a) // なんかを計算したり生成する val y = g(x, b) val z = h(y, c) ... val 最終的に欲しい値 = (x, y, z) こういうの。 これがもし仮に以下のよ…

最近Markdown編集ソフトウェアであるObsidianでブログなどの原稿を書くようになった。 blog.3qe.us このソフトウェア自体は便利なのだが、マシンをまたいだ同期機能は有料という仕様になっており、そのためOSを切り替えて作業している時などにはちょっと面倒…

zmmの開発で、背景として動画を使いたいというリクエストがあった。よく考えるとffmpegで最終的に合成しているのだから動画でも合成はできなくもなさそう。いったんchromiumが吐き出すレンダー画像を透過にして、あとから動画と合成すればよいのだ。 という…

とりあえず何かを覚えたらfizzbuzzにするクセやめたい import cats.syntax.all._ import cats.implicits._ extension (d: Int) def ~>(s: String)(n: Int) = (n % d == 0).guard[Option] as s val fizzbuzz = (((2 ~> "fizz" &&& 3 ~> "buzz") >>> (_.toList…

ScalaでなんかWebアプリをガッと作りたくなったときにどういう技術を使うべきなのか？という話です。自分はこういうふうに考えてるけどな〜というのを知見としてまとめておこうと思ってこの記事を書いています。いやいやこっちのが速いでしょみたいな話題歓…

昨年くらいに、花粉症対策とかなんとかを兼ねてBlue Pure 411という空気清浄機を購入した。 ブルーエア 空気清浄機 Blue Pure 411 13畳 101436 換気 360度吸引 花粉 カビ ダニ 小型 小さい コンパクト パワフル 簡単お手入れ PM2.5 ハウスダスト 細菌 ウイル…

一瞬ハマったのでメモ。 val m: Map[DateTime, Int] = ... このような、DateTimeからIntへのMapがあるとする。 ScalaTestで、ある範囲の日付がすべてこのMapにキーとして含まれていることを知りたい。 誤答: definedAtを使う val from = DateTime.parse("202…