This account is not set to public on notestock.

うーん……文法的には良いものだけど、これ意味論を考えると where は非正格評価の Haskell だからこそノーコストで行えるのであって、正格評価の言語でやると実行順がソースコード上滅茶苦茶になるとか実質的にローカル変数と機能は同じになるとかで、あまり嬉しくない気がする

* スコープが限られている
* 宣言を後回しにできる

の2点が嬉しいわけだけど、前者はブロック切ってローカル変数を作ることでどうにかできそうだし (えっ！？ブロックスコープで変数作れない言語ですか！？)、後者は「ローカル変数の使用が初期化よりも後に来る」というなかなかハードコアなソースになってしまう。しかもこれ任意の関数や式で多用するような構文だし……

where で与える別名の初期化には純粋で副作用が伴わない式しか使ってはならないとするならその辺りの問題は解消できそうな気もするけど……
制約としては constexpr は近いかもしれない

バグ #499: Linkding の compose.yml アップデート後にサービスを再起動してもページが表示されない - 鯖缶 - Nopmine
https://redmine.potato.immo/issues/499

Podman に敗北して docker-ce に戻ってきました。ぐやじい。

docker のコマンドとかｲﾝﾃﾙﾈｯﾁで検索しようとするとオレオレ日本語訳 (outdated) が本家ドキュメントよりも検索上位に出てくるのオワってませんか

シンプルに邪魔だし、そもそも原文読まないで破壊的なコマンド使って本当にええんか？ その心構えはいつか人に迷惑をかけるようなミスの形で成果が出ると思うぞ

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

最悪すぎてすき

This account is not set to public on notestock.

まだ早い

早朝とは「朝というにはまだ早い」の意味です

external DTD subset の lexer も実装できたので、あとは external parsed entity があれば lexer は全部揃ったことになるかな

今月は進捗が出てよかった (総括にはまだ早いぞ！)

晩飯

@toneji https://mastodon.cardina1.red/@lo48576/113539517452376328

“裏返った” 寿司であるところのカリフォルニアロールこそ真の「シースー」なのではなかろうか (?)

冷え込むなぁ

This account is not set to public on notestock.

This account is not set to public on notestock.

What’s New in POSIX 2024 – XCU
https://blog.toast.cafe/posix2024-xcu#the-nuclear-option

> A bunch of C functions³ are now encouraged to report `EILSEQ` if the last component of a pathname to a file they are to create contains a newline (put differently, they’re to error out instead of creating a filename that contains a newline).

へえ

This account is not set to public on notestock.

NYで日本人写真家の橋村奉臣さんが突き飛ばされ死亡
https://news.tv-asahi.co.jp/news_international/articles/000386706.html

アメリカ在住の写真家・橋村奉臣さんがニューヨーク・マンハッタンの路上で突き飛ばされ死亡、コカ・コーラの広告を手がけるなど活躍 | TBS NEWS DIG (1ページ)
https://newsdig.tbs.co.jp/articles/-/1573239?display=1

NY在住の日本人写真家・橋村奉臣さん、路上で突き飛ばされ死亡（ABEMA TIMES） - Yahoo!ニュース
https://news.yahoo.co.jp/articles/afa94895de46a33734574dd5d3e9dfc1278f8120

これなあ

Hashi Studio
https://www.hashistudio.com/html_protect/bio/bio_j.html

軽く家賃相場を調べた結果、少なくとも次のチン上げまでは引越さないことにした

家賃が上がって部屋が狭くなるのでは何もかも割に合わん

Error: Success

use 42;

エモすぎる (?)

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

Twinax はメタル扱いですか (素朴な疑問)

ケーブルなんて頻繁に買い換えるものでもないので多少の価格差は気合でどうにかしてもいいんですが、ファイバーの一番不安なのはトランシーバとファイバー端面の汚れとかに関することです

RJ-45 はマジで汚れとか全然気にせずとも使えるからね (錆はさすがにノーセンキューだが)

手先が不器用なので、うっかりファイバー端面を触って汚すヘマを何度でもやらかす自信があります

This account is not set to public on notestock.

自分で製作したケーブルならともかく、 Cat6A 時代には易易と壊れる爪は見ないわね (Cat5e 時代の頃とかは壊れまくってた記憶)

陰キャをインキャと書かれるとすごく違和感があるのだが、この違和感がなぜ発生するのか考えている (?)

インキャとは書くのにヨーキャとかヨウキャとは書かないのも謎といえば謎

minaniku

意図せず肉になってしまった

肉のみんな、すまねえ……

This account is not set to public on notestock.

This account is not set to public on notestock.

2.5G とか？ (そういう話ではなさそう)

「SFP+とか言ってる人、一般家庭に住んだことないんだろうなぁ」と返しといた方がいいやつですか？

一般のご家庭在住なので、 SFP+ スイッチや Twinax ケーブルが余っているなんて、まさかまさかそんなことは！

そんなことは……

結局 “状況が整った” とき最初に整備するのは通信路になるので、そっちだけ最初から強くしといてもいいんじゃないですかね

などと Wi-Fi 6 までしか使えない無線 AP のユーザが申しております

せっかくスイッチ側の SFP+ ポート数に余裕があるのでいくらでもケーブル引いて Ceph とか SMB のマルチチャンネルとか iSCSI のマルチパスとかで遊んでみたさもなくはないが、一般向けの CPU (と M/B) では PCIe のレーン数が全然足りていないという問題がある。
PCIe の x8 スロットが4つくらいあると大喜びするんですが……

謎の技術で 5.0 x16 を 4x 4.0 x8 に bifurcation するみたいなことできないんですかねえ

あるいは USB 3.x ポートとか全然要らないので (2ポートくらいで十分)、あとは全部 PCIe か SATA 用の帯域にしてもらうとか……

USB 3、必要もないのに迂闊に使うとノイズが思いっきり Bluetooth の邪魔になるとかいうかなり扱いづらい規格。なんなんだあれは

WAN 側帯域はまあまだ 1〜2G でいいんじゃないですかね。しらんけど。

宅内はマルチギガの機運高いよ

「やーいお前の PC スマホよりメモリない」の類型で「やーいお前の有線 Wi-Fi より遅い」の時代が来ているのか

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

b, g, n, ac, ax,…… 覚えられるか！

This account is not set to public on notestock.

This account is not set to public on notestock.

ほんまこれ (一応 C でも USB 2.0 とか 3 の 5Gbps とかだと 10Gbps より長くしていいみたいな話があった気がする)

まあ 2m 程度ではそれでもかなりレイアウト次第では怪しいけど。ﾋﾟｯｼの背面から手前に持ってくるだけで 0.6m 分あるのに、そこから高さ方向とかデスク幅とかいろいろ経由したら……

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

ラッチ付きの DP ケーブルが太すぎて端子部分のプラスチックパーツが真っ二つに割れた話します？

セロハンテープでぐるぐる巻いて補修した

議員がどういうつもりで言ってるのかは知らないけど、官僚はバックドアつけろ (あるいは要請に応じて平文を開示しろ) の方向で落とし込むんじゃないですかね

This account is not set to public on notestock.

抵抗しても政府が本気なら「捜査機関に提供できない形で暗号化したら違法」に向かうだけだと思う。技術的保護手段の回避の違法化と同じで。

暗号の輸出規制をちょっとだけ思い出すわね

技術で「原理的に困難 (事実上不可能)」は実現できるけど、法律はそもそもそのフィールドで戦っていなくて「できることをやったらアウト」を押し付けてくるから強いわけで

This account is not set to public on notestock.

This account is not set to public on notestock.

さすがに NTT とかに委託してくれるのでは (そうか？)

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

いい話

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

XMPP なぁ

まあ結構気になってはいるよ、 Matrix とどちらに賭けるべきか若干悩ましいと思っている

とりあえずサーバ立てて使ってみるかね

@sleeping_coelacanth 素朴に [index] では駄目なんです？

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

浅間山荘名物 総括カレー

絶食を強要されて結局食べられなそう……

XMPP サーバ立ててみるか〜

ejabberd を動かしてみようとしているが、 Debian のパッケージリポジトリを使うか上流でリリースされる .deb を使うか Docker (compose) を使うかの選択を迫られている