YoshikuniJujo

Haskell好き

Public Key

npub1a7y7u324paehw2zdx8jfl3t72ue0ls4etfalxhg0z2gad738savqhxfdm2

NIP-05 Address

YoshikuniJujo@yoshikunijujo.github.io

Profile Code

nprofile1qqswlz0wg42s7umh9pxnreylc4l9wvhlc2u457lnt5839ywklgncwkqpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsgtk4pc

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1a7y7u324paehw2zdx8jfl3t72ue0ls4etfalxhg0z2gad738savqhxfdm2

Show more details

Last Notes

2026-03-26 09:03:39 UTC

- reply

落ちる原因までははっきりしないけど、よく考えたらやぶみリレーは日本のドメインからしか書き込めないっていう話だった気がする。Renderはサーバーがアメリカとかだったかも。
とりあえずやぶみリレーではなくnos.lolあたりに書き込むようにしてみようかな。明日

2026-03-23 23:13:33 UTC

- reply

おはよーございます🦥🫧

2026-03-19 01:59:30 UTC

REQはクライアント側からcloseすることも、リレー側からcloseすることもあるらしい。
クライアント側からのcloseはアプリの終了とか、ウィンドウを閉じるとかそういうタイミングになるだろうけど、リレー側からってのはどういうケースがあるのかな。
負荷が閾値以上になったときとかかな。

2026-03-19 01:46:19 UTC

ブロードキャストを実装するには、REQごとに新しいスレッドを開始するのがいいと思う。スレッドはチャンネルから読み込んで、フィルタを確認し、必要に応じてクライアントに送信する。
チャンネルには終了を示す値も流せるようにする感じかな。

2026-03-19 01:35:49 UTC

- reply

モノには同一性があり、値には等値という概念がある。モノにはときが流れて状態が変わっても「それがそれである」という同一性がある。
等値ってのはどういうことか、これについては少し考えてみる必要がある。

2026-03-19 01:30:40 UTC

前に関数型言語における「値」とオブジェクト指向における「モノ」について、同じように変数に代入(束縛)されるけど、本質的に違うものっていう話をしたことある。
たとえば、「温度」の話として、20度とか24度とかな値で、「阿寒湖の水温」みたいなのはモノだ。
阿寒湖の水温は変化するけど、20度とか24度とかは変化しない。
そこのあたりをごっちゃにするとわけがわからなくなる。
だから「統一されてて美しい」とは思うけど、オブジェクト指向言語で「整数もオブジェクト」みたいなのは実はすこし倒錯的と言えるかと。

2026-03-19 01:22:45 UTC

モールス信号の話、「相棒」でもあった。
靴をとんってやったり、ざっとすべらしたりしてた。
右京さんが録音の音声を何度も聞いて、「これなんですかねえ」みたいに言って気づく。映画だったかもしれない。

2026-03-16 07:07:26 UTC

フォント、最近だとうろ覚えだけど、パラメーターを指定することで形が変えられるフォントがあった気がする。前にpangoのラッパーを書いてるときに、いろいろ試した気がする。https://hackage.haskell.org/package/simple-pango
あ、これドキュメントをアップロードしてないな。後でしておこう。Stackageのほうならドキュメントあるかな。
https://www.stackage.org/package/simple-pango

2026-03-06 04:33:59 UTC

- reply

https://www.morinaga.co.jp/biscuit/story/column/2.html
ビスケットとクッキーとは基本的に同じものらしい

2026-03-05 21:11:28 UTC

うにゅう、おはよう

2026-03-05 08:05:47 UTC

実際問題として、それほど物を長く使うわけではないのだけど、概念としての「一生物」みたいなのが好きな僕としては、テフロン加工のフライパンの耐用年数が2年くらいしかないのが嫌。
でも、鉄のフライパンはくっつくし、どうなんだろうという気持ちもある。

2026-03-05 07:29:03 UTC

僕を構成する9つのアルファベット
hijknosuy

2026-03-05 02:17:17 UTC

カイロスだめだった😭

2026-03-05 00:56:10 UTC

前も書いたけど、なんとなくLuaとPikeがかぶるんだよな。

2026-03-05 00:51:57 UTC

NeovimはLuaで遊ぶのに調度いい感じある。

2026-03-03 21:22:48 UTC

- reply

でも、よくわからないのは「設計」をラピダスがやるのかなという話。
ラピダスがまた別のファブレスに委託するみたいな話なのかな？

2026-03-02 02:47:20 UTC

https://www.watch.impress.co.jp/docs/topic/2089355.html
まだ、正式に特定されたわけではないみたいだけど、H3ロケットの8号機の失敗は、実はH-IIAのころからずっとあった問題で、でもボルトで固定してたから故障まではいかなかったみたいな話。

2026-03-01 00:19:17 UTC

アメリカは国防総省と企業群のバトルで、企業側が勝つようならまだアメリカの民主主義に希望はあるということ。
今まで悪用する人がいなかったけど、アメリカの制度として大統領の権限が強すぎるんじゃないかな。

2026-02-11 05:30:43 UTC

- reply

https://www.cotta.jp/special/article/?p=36795&srsltid=AfmBOoo7Osug_N0c79hLxAqZYbkseT6tvl75Xw6eRjD5NhlbjEzAjRBP
これがレシピ。

2025-10-31 01:05:34 UTC

- reply

ディストリごとのアーキテクチャサポート。DebianとGentooがすごい。「Gentooは選択です」なので。

2025-10-30 23:18:05 UTC

- reply

https://web.archive.org/web/20160312050150/http://semarch.linguistics.fas.nyu.edu/barker/Iota/zot.html

2025-10-19 00:41:00 UTC

柿の皮を剥く。皮を捨てる。柿の皮を剥く。皮を捨てる。柿の皮を剥く。柿の実を捨てる。あっ
ていうあるある

2025-10-18 00:51:52 UTC

AIが病むSNS

2025-10-17 09:14:05 UTC

やっぱり、一度現場たろうになっちゃった話題だと、だめなんだと思う。

2025-10-17 09:06:56 UTC

- reply

楽しみだね

2025-10-06 20:23:38 UTC

うにゅう、おはよう

2025-10-03 00:40:17 UTC

AMDのCPUをIntelが作るという話。なんだかすごいこと起きてる。

2025-10-02 20:37:26 UTC

https://www.nikkei.com/article/DGXZQOUC023TY0S5A001C2000000/

2025-09-30 07:22:15 UTC

ちょっと前だけど、「リーヌス人の心を学ぶ」みたいなのがあった気がする。

2025-09-27 04:20:07 UTC

鍋つかみ欲しい

2025-09-22 07:09:26 UTC

のすたろう、角煮まんじゅうってどう思う?

2025-08-30 02:44:32 UTC

- reply

https://zenn.dev/ebi_chan/articles/d36b243e8eaa70
このあたり読んでみようかな、いつか

2025-08-29 23:58:03 UTC

今、Lean 4という言語が一部で話題らしい

2025-08-26 01:20:20 UTC

- reply

bochsはもうあんまり活発ではなさそうだな。

2025-07-14 05:04:41 UTC

徳を積んで

2025-06-09 04:37:03 UTC

ネットで検索しても中国に関する情報が、なんかあんまり引っかからなくなってきた気がする。経済とか国内の話とか、全然わからない。1年前くらいだと、いろいろと引っかかったと思うのだけど。

2025-05-24 09:23:59 UTC

- reply

https://qiita.com/usamik26/items/cce867b3b139ea5568a6

2025-03-23 01:27:22 UTC

- reply

わからないときは、ちゃんと「えんいー」って言えてえらいね

2025-03-23 01:24:48 UTC

- reply

おもちは何ができるの？

2025-02-02 00:06:29 UTC

Vulkanのdevice maskがどういうものか、よくわからない。

2025-01-31 05:26:40 UTC

のすたろう、マコモ湯って何?

2025-01-04 07:09:05 UTC

- reply

https://hackage.haskell.org/package/nowdoc
これ、いらなくなるかな

2025-01-04 07:06:00 UTC

ブロードコムって、あんまりよく知らないな

2024-12-17 00:48:02 UTC

のすたろう、「目出し帽」「Haskellのようなもの」「むしゃくしゃしてやった」を使って物語を作って。500字をこえてもいいよ。

2024-11-28 03:54:41 UTC

- reply

ナマケモノを絶滅から守るには何したらいい？

2024-10-11 08:39:19 UTC

AMDって、実際のところ1/3くらいはATIなんじゃないかなって思う。

2024-10-04 00:45:12 UTC

そう言えば、米復活したな。

2024-10-04 00:13:31 UTC

善人の定義として、「自分の利益を考える程度の半分以上、他人の利益を考える人」という定義を考えた。
何の努力もなく100万円もらったときに、その場にいる友達に30万円あげるくらいの感じ。

2024-10-03 09:01:13 UTC

- reply

「魚がつった魚が魚がつった魚をつった」みたいな感じになるらしい。

2024-10-02 09:40:55 UTC

「ウグレダル制圧」って話だけど、まだロシアの一部メディアの報道でしかないみたい。
今後、他のメディアが裏を取る感じなのかな。

2024-10-02 01:14:17 UTC

フォームへの入力が多くなる場合、クッキーか何かをキーにしたデータをサーバー側のデータベースに保存しておいて、そのページを再度開くときに入力データを複現するようにしたらどうだろうか。
素人考えだけど。

2024-10-02 00:28:29 UTC

https://ja.wikipedia.org/wiki/Uim
僕はTUT-codeやるのにUimを使ってる。

2024-10-01 04:43:45 UTC

コードを書くときに、「作る」はmakeとかcreateとかmkとかcrとかで表現することが多い。で、作る前の準備みたいなときにはprepareを僕は使う。で、「作る」だけじゃなくて、いろいろ設定もしますよってときは、provideあたりを使うといいのかもしれない。
英語よくわからないから、適当だけど。

2024-09-27 07:39:41 UTC

試しに応援して

2024-09-27 07:34:58 UTC

秘密鍵が公開されたアカウントを集めたリストって必要かもしれない。
で、練習用としてみんなで使うのも、いいような気もする。
例示用に使うとか。

2024-09-27 01:11:39 UTC

Nostrの日本のアクティブユーザって、観測できないリレーにいる人を除くと100人くらいしかいないような気がするのだけど。
もしかすると、これは「言ってはいけないこと」なのかもしれないし、僕の観測範囲外に何万人もいる可能性もある。

2024-08-21 02:39:22 UTC

プログラミングに適性のある人が、クライアントサイドやって、プログラミングが嫌いになるってのはありそうな気がする。クライアントサイドってのは「あまりに人間的」すぎるところある。
考古学者とかなら好きになりそうな分野かも。

2024-07-10 07:20:01 UTC

https://github.com/YoshikuniJujo/test_haskell/blob/master/tribial/try-ll-one/src/Lib.hs
WikipediaのLL法のところの例をHaskellに翻訳してみた。
構文解析のところでは、Ruleの番号とトークンを順に返すようにして、さらにその結果から木構造を構築したけど、構文解析と同時に木構造を作ることはできないかな。

2024-05-17 07:17:59 UTC

思うに、Twitter的なSNSで、特定の興味を持つグループをそこに呼びたいような場合、誰かが1人でその話題について、つぶやき続けるというフェーズが必要なんじゃないかと。

2024-05-15 03:56:29 UTC

まだちゃんとは見てないけど、NostterのほうではひろわれるのにRabbitのほうからは見えない返信がある気がする。

2024-05-15 02:44:37 UTC

- reply

使えるのはbaseパッケージだけかな。

2024-05-15 02:41:38 UTC

- reply

System.Randomだめかー。

2024-05-15 01:04:43 UTC

- reply

「1から2日遅れることがよくある」らしいので、しばらくは気にしないほうがいいのかもしれない。けど、気になるんだよな
https://nostrcheck.me/media/ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758/95b8737e428ba477a25ed841c735572e09defb2408de7c15e652925340227374.webp