Lambdaカクテル

京都在住Webエンジニアの日記です

ScalaのCatsにおけるTuple上でのmapやproductの振舞いが面白いので紹介する

ScalaでプログラミングをしているとTuple2にお世話になることが多い。例えばSeq[(K, V)]からMap[K, V]を得ることができるし、何かと応用範囲が広い。catsでも、Tuple2をうまく操作するための数々のインスタンスが用意されている。 そんな中、Tuple2のインス…

最近のインターネットつまんなすぎ辛すぎ

特に結論の無い記事。 インターネットはもう多数派のものになった、というだけのことっぽい。— @windymelt@mstdn.takuya-a.net🍥🧪 (@windymelt) 2022年11月23日 言いたいことは↑でだいたい終わっている。 インターネットははみだし者の集団がワイワイやってたか…

Seq[(K, V)]について、キーが同じである限り結合し続ける処理

こういうメソッドを定義したい。 Seq[(String, FiniteDuration)]があるとき、同一のStringが連続した場合に限ってFiniteDurationを足し合わせて、最終的にSeq[(String, FiniteDuration)]を返すような処理を書きたいんだけど、どうしたもんか— @windymelt@mst…

ロシア/ソ連のミサイルの呼び名が色々ある理由

最近ポーランドにS-300の5V55?ミサイルが落っこちてきて死人が出る大事になってしまった。 S-300*1 www.nikkei.com www.afpbb.com 報道によると、ウクライナが発射したものが逸れて落ちてきたという説が有力になってきている。 そういうことがあったので改め…

徹底比較!! メモリクロックはプログラミングに効くのか(効きませんでした)

趣味のプログラミングなどに使っている自作PCのメモリが最近キツくなってきており、ブラウザを開きつつStable Diffusionなどを回していると16GBでは結構辛いものがある。Scalaのコンパイルなどでも結構なメモリが消費される。 そこでメモリを買って16GiBから…

図で眺める Scalaの変位指定アノテーション

今日チームでScalaのこういう型制約ってどう書くんだっけ、といった話をしていて、Scalaには色々な型制約の表現の方法があることだなあ、と考えていた。そして、全て覚えるのは大変だなと思った。自分は特に変位指定アノテーションを覚えるのが大変だった。…

木構造における属性の伝播の表現 -- CatsのMonoidと再帰処理によって

プログラミングをして暮らしていると、だいたい木構造と向き合うことになる。その頻度はリスト程ではないものの十分に高い。 木構造操作の一類型として、木の根から順に辿っていき、一定の操作を加えていくというものがある。個々の要素だけ見れば良いことも…

へぼいEthernetケーブルだと100Base-TXにフォールバックすることがある

寒い季節になったので、普段はキッチンに置いてある自宅サーバを居室に移動させて熱を有効活用することにした。データも保存できるし節電もできる優れ物だ。 さて、移動させたついでに必要なLANケーブルの長さも変わり、いくつか差し替えてちょうど良い長さ…

YAMLとJSONの話題 / JSONへとトランスパイルされる別言語を作ればいいんじゃないの

以下の記事を読んだ。 wp.jmuk.org この記事の要点をかいつまんで話すと、以下の通りになる: JSONの代替として使われているYAMLはオーバースペックではないか キーのスキーマが不安定だったりする 求めているものは、コメントが書けるJSONくらいのものなので…

Web3.js / svelte-web3を使ってMetaMaskによるウォレットログインを実装した

Web3技術の勉強の一環として、ウォレットを使ったログインを実装してみました。 www.3qe.us MetaMaskのインストールはこちらから。 metamask.io ビルダとしてwebpackを使用し、UIライブラリとしてsvelteを使用しました。ランナー/パッケージマネージャはnpm…

http4sのEmberClientでタイムアウトを指定する

自分が書いている趣味プロダクトに、HTTPクライアントとして外部と通信するコードがあった。タイムアウトを指定しつつ通信させたかったがあまり資料が無かったのでメモしておく。 http4sとは タイムアウトを設定する withTimeout withIdleTimeInPool .withId…

Cats EffectのHotswapの使い方について調べた / 無限に出てくるトイレットペーパーを実装する

Cats Effectの勉強をしてたらHotswapというコンポーネントがあって便利そうだったので紹介します。 Hotswap Resourceを単体で使う欠点 そもそもResourceとは Resourceにできないこと Hotswap登場 応用: 途切れないトイレットペーパー ToiletPaperクラス toil…

Cats Effect 3でセマフォを使う方法 + よくある落とし穴 (標語付き)

Cats Effect 3のセマフォの使い方の例があまりないなと思ったので自分で書いておいた。標語もあるよ。 そもそもセマフォって何よ 前提知識 Cats Effect 3によるセマフォ 落とし穴 標語 (大きな声で読み上げよう) 解説 Cats Effectという、Scalaで非同期処理…

反-単一の社会そしてオタクラッピング電車

自分が求めている世の中のありようをうまく表現する言葉が見付からないなあと思っていたが、風呂に入っているとき、「反-単一の社会」という言葉が脳裏をよぎったので、それを忘れないように急いで風呂を上がってきた。 自分は多様性という言葉がそれなりに…

さまざまな色覚特性のもとで画像がどう見えるかをモンタージュする

こういう画像を吐き出してくれるシェルスクリプトを組んだ: さまざまな色覚特性のもとでどう画像が見えるかを1枚にモンタージュした画像 このスクリプトの利点として以下を挙げたい: OS上で直接画像が得られる 1枚の画像が得られるため比較しやすい 高速に動…

Scala 2.12と2.13とで、ListMapのキーまわりの挙動が違っているので注意しましょう / ライブラリ調査の心得

アプリケーションのコレクションまわりの実装について調査していたところ、Scala 2.12から2.13にかけての更新がscala.collection.immutable.ListMapの挙動を変化させており、実は元々2.13で見せていた振舞いは仕様外のものだったことが判明したのでメモ。 こ…

ラズパイに接続した音声デバイスを、ネットワーク内の別のマシンから利用することができる(特殊な機器は不要)

Bluetoothトランスミッタの高級版みたいなことをやりたくて試行錯誤した結果うまくいったのでメモ。 元気に動いています この記事では、ラズパイを用いて音声入出力デバイスをネットワーク越しに共有し、PulseAudioまたはPipeWireを使う他のLinuxマシンから…

圧縮済みのTARファイルを展開せずにファイルを追加できる

またTARの話してる・・・ (前回のTARの話はこちら) blog.3qe.us GNU tar(1)のマニュアルを見ていたら、面白いことが書いてあった: www.gnu.org --concatenateオプション(もしくは--catenate、 -A)を使うことで、複数のTARアーカイブを1つに結合できるらしい…

TARにアーカイブされたファイル名のエンコーディングはどうなっているのか

ふと思って調べたところ色々と面白いことが分かったのでメモ。 tarはファイル名を関知しない PAX(1)コマンド じゃあファイルシステムのファイル名のエンコーディングはどうなっているのか NTFS TARという形式がある。Tape ARchiveの略で、元々はテープドライ…

manがあるコマンドは偉いし、manを付けるべき

社内で、crontabのtabは実はtableだからクーロンタブじゃなくてクーロンテーブルなんだよね、という話が盛り上がった。 ファクトチェックとして、crontab(5)が紹介されていた(cron tableという言葉が出現している)。 manで事実確認がすぐできてすごいと思う…

Facebookが開発した圧縮アルゴリズムZstandardについて調べた(非常に高速)(今日から使えます)

Common Lispの処理系であるSBCLをインストールしようとしたら、追加でlibzstd-develというのを新たに要求されるようになっていた。見るからに圧縮系のライブラリだけれど聞き慣れないのでちょっと調べてみた。 ちょろっと調べたところ、以下のことが分かった…

YubikeyにPIVを入れる / Yubikey gpg-agent PIV 喧嘩しない 方法

自宅サーバの認証もろもろで遊んでみたかったので、YubikeyをPIVとして使ってみたところ、gpg-agentとpcscdが Yubikeyを取り合ってしまったので、それを直したメモ。まずPIVの証明書をYubikeyにインストールした話をして、次にgpg-agentがうまく動かないのを…

Bluetoothキーボードとxcapeとの組み合わせで、スペースキーを押すとなぜか機内モードになる怪奇現象が起こる

ほぼタイトルの通りなのだが、怪奇現象が起こって困っている。 FILCO Majestouch Convertible 2を使っている 青軸最高〜〜 Linux (OpenSuSE Tumbleweed)ユーザ 自分はスペースキーをShiftに割り当ててSandSを行うため、xcapeを使っている(後述) Bluetoothモ…

PGP鍵を交換しました + 令和最新版のPGP鍵運用メモ

PGP鍵を交換しました。というのも、元々使っていたPGP鍵はYubikey上で生成して使っていたところ、数ヶ月前にYubikeyを紛失するという赤っ恥の行いをやらかしてしまい、とっとと失効させて作り直す必要があったからです。ありがたいことに手元に旧い鍵の失効…

Scalaをスクリプト言語にしよう! Ammonite文法最速マスター

Ammonite文法最速マスター この記事は、Scalaのスクリプティング環境でありREPLでもあるAmmoniteの基礎的な利用方法をマスターし、ちょっと凝ったシェルスクリプトをAmmoniteスクリプトに書き換えられる程度のAmmonite力を手に入れるためのものです。 Ammoni…

全裸で室内をウロウロし、幸福を見出せ

幸せな人、幸せなカップル、幸せな家族。「幸せ」という言葉は、人を表す言葉にかかりがちだ。 だが本当だろうか。人が幸せなのだという価値観に囚われると、自然と自分を幸/不幸の枠組みで捉えるようになる。 幸せは他者や物事の中に発見するものだと気付け…

EmacsでFlycheckのウィンドウをトグルできるようにした

自分は普段の開発ではEmacsを使っていて、VSCodeユーザに笑われつつも(被害妄想)今のところ普通に開発できている。 そして、エラー表示にはFlycheckを使っている: www.flycheck.org FlycheckはLSP-modeに対応しているので、LSPで検出したエラーをEmacsの枠組…

人間、全部優秀を目指さなくても、普通で良いっス

日が暮れたので、行きつけのスタバにふらふら歩いていた。ぼーっと歩いていると、同じような人々が、涼しくなった路地をうろうろしていた。 人を見ながら、人間は、案外普通だな〜という気付きがあった。 なんらかの作品に描かれるような優秀な人生というも…

Perlのqw()みたいなやつがScalaにも欲しいので作った

追記2: ライブラリ化した。Mavenにpublishする手続きをちびちびやっている。 github.com 追記: 実装おかしかったのでちょっと修正した Perlにはqw()という文字列のリストを構築するための便利な構文があって、以下の表現は等価だ: ("foo", "bar", "buzz", "q…

騙された方が悪いというロジックがネットに蔓延していて議論が成り立たない

あまりブログでは政治的な話題は書かないようにしているが、特に思ったのでメモしておく。 人がなにかウソをついたり、悪事を働いたり、誰かを騙したりしたことが判明したとき、騙された方が悪いとみなし、むしろ騙された方を(いかがなものかという消極的な…

Webアプリケーション開発関連の記事を投稿しています.読者になってみませんか?