ログボくださり

やっぶみーん

うにゅう、おはよう

アドカレがまにあわない……

🦥を踊らせて

おはよーございます🦥🫧

ログボくださり

やっぶみーん

うにゅう、おはよう

次の時には、最後の2分を200度でホイルを取って試してみる予定。 水分を飛ばすことで表面のサクサクのより高みを目指す

Zapありがとうございます🦥

やっぶみーん

スケッパー好き。形とか

突然の眠気

クロワッサン。 折り込み用のバターは10x10に形を整えた。 焼きは今回は230度5分してホイルを乗せて190度で12分にしてみた。 ホイルを乗せるタイミングを少し遅らせてもいいかも。

参照透過性と副作用と純粋さの話、厳密に定義しようとするとわりと微妙なところ出てくる気がする。 三者ともそれぞれに意味合いが違うってのもある。

乱数の種をOSから取得するのは純粋じゃない

seedから乱数を計算する関数は純粋。

アルゴリズムで焼きなまし法みたいなのなかったかな

オリジナル版のfoldlは「スペースリークの代表」みたいな関数で、簡単に説明すると、たとえばfoldl (+) 0 [1, 2, 3, 4, 5]というふうに適用した場合に(((((0 + 1) + 2) + 3) + 4) + 5)っていう式ができちゃって、それがそのままサンクとして残るのでメモリーを圧迫するという話。 今のfoldlやfoldl'は毎回サンクをつぶすような実装になってる。

検索しやすいように「スリープソート」とつけておく。

スリープソート リストを返す版 {-# LANGUAGE BlockArguments #-} import Control.Concurrent import Control.Concurrent.STM import Data.Function sort :: [Int] -> IO [Int] sort ns = do c <- atomically newTChan mapM_ (forkIO . single c) ns threadDelay 1000000 atomically $ fix \go -> do e <- isEmptyTChan c if e then pure [] else (:) <$> readTChan c <*> go single :: TChan Int -> Int -> IO () single c n = threadDelay (n * 1000) >> atomically (writeTChan c n)

カリー化って厳密に言うとHaskellで言うカリー化と他の言語で言うカリー化とは、すこしズレてるように思ったことがある。忘れちゃったけど。

スリープソートは並行実行の説明をするときに、「スリープソートというのがありまして...」みたいに、つかみとして使えるかと

Haskell Brooks Curryさんは、とりあえず3つの言語に名前を残している。 Haskell Brook Curry さらにカリー化とかカリー=ハワード同型対応などなど、「名前残しすぎ」問題。

ちなみにクイックソートが「整列ずみ」の並びでO(n^2)になっちゃうのも「分けながら比較」しているせい。つまひマージソートなら「半分ずつ」に分けるのだけど、「比較の結果」が「分け方」に影響してしまうため、かたよりが生じうるということ。

ドーナツ

ネタ枠としてはボゴソートとスリープソートあたりを覚えておけばいいかな。

ソートは「ひとつだけ覚えておく」ならマージソートがいい。クイックソートみたいな落とし穴もない優等生。

ソートは僕はヒープソートが好きなのだけど、でも時代はヒープソートを求めていないという。 アルゴリズム的にはすごい「美しい」。

「Haskellのクイックソート」警察です。 https://zenn.dev/yoshikuni_jujo/articles/sort-algorithms

Jamiはpeer-to-peerなのだけど、接続したい相手を指定はどうするのかな。 固定IPが必要とかだとハードルが高い。 その部分だけ中央サーバがあるのかもしれない。 つまり、中央サーバにアカウントとIPアドレスを登録しておいて、接続したい側はそのサーバに問い合わせる感じか。 でIPアドレスがわかればあとはpeer-to-peerで接続できると思う。

https://ja.wikipedia.org/wiki/Jami Jamiはオープンソースでビデオ通話ができるもの。手もとで暗号化が行われるのでプライバシーも保たれる。

なので、SSDとHDDに階層があってHDDのキャッシュとしてSSDを使うとか、あるいはSSDのswap領域としてHDDを使うみたいな仕組みが欲しくなる。

よく見たらこれASUSのパンフだ。他のメーカーのももらってくればよかった。

HDDからSSDへの移行って、人間がはじめて経験する「記憶容量の減少」な気がする。 「古いファイルを消さない」という習慣が身についていたので、ディスク容量がすぐ100%になってしまう。 よく使うファイルをSSDに置き、あまり使わないファイルはHDDに置くみたいな、そういう仕組みが必要。というこすでにあるんじゃないかって気はする。

そろそろPC1台組みたいなという気持ちもなくはないのだけど、場所取るんだよなー 小さいのだと選択肢がかなりせばまるし。 一時期はインテルのマザーボードがLinuxのインストールという観点から安心感があったけど、今はどうなのだろうか。

レイアウトルール使って書くほうがどっちかというと推奨されてる感じなので。 でも、プログラムでコードを生成する場合など括弧とセミコロンを明示したほうがやりやすいですよね。 Haskellでは括弧とセミコロンを明示すればレイアウトルールのない言語として使うこともできます。

個人的にはPC光るのは嫌いではない。チープさが好き

あと、ライフゲームの盤を定義してるモジュールの例だけど。 盤の一部に特定のパターンがあるかどうかを確認したいみたいな話があったときに、盤の一部を取り出して、それとパターンを比較するみたいな話になるけど、盤、パターン、取り出した部分は、どれもたとえば[[Bool]]で表現できる。 でも、これはあまり筋が良くない。 盤とパターンと取り出した部分はそれぞれモノとしてはちがうので、 newtype Board = Board [[Bool]] newtype Pattern = Pattern [[Bool]] newtype Clipped = Clipped [[Bool]] としたほうが良い。

あと「位置」を表すのに(Int, Int)みたいなタプルを使うのは「本当のところ良くな」くて、 data Pos = Pos { posX :: Int, poxY :: Int } みたいにしたほうが良くて、さらにもっと冗長で安全にするなら、 newtype X = X Int newtype Y = Y Int data Pos = Pos { posX :: X, posY :: Y } みたいにすれば「もっとベター」な感じはある。 けど、まあ「安全と簡潔」のトレードオフがある。

りとりんもそう思うよね

名前付けるのに「型でわかる情報はいらない」という考え方もある。 clearBoardArea :: Board -> Area -> Board ではなくて、 clear :: Board -> Area -> Board としてもいいのではという話。 もちろん名前がかぶる場合にはclearBoardAreaみたいに「区別のため」に冗長にする場合はある。 「説明のため」に冗長にする必要は「より実態にそくしている『型という情報』がある」からいらないという話。

おはよーございます🦥🫧

モジュールFoo.Barに data Baz = ... bazToQux :: Baz -> Qux quxToBaz :: Qux -> Baz みたいに定義する代わりにモジュールFoo.Bar.Bazに data B = ... toQux :: Baz -> Qux fromQux :: Qux -> Baz のようにすることをよくやる。 オブジェクト指向には直観的にわかりやすい名前空間という側面もあるけど、それをなぞっている。 本当はFoo.Bar.Bazという名前の型を用意したいのだけど、できないのでFoo.Bar.Baz.Bとしている。

twitter.newって、誰がやってるかとかは知られてるのかな

ログボくださり

やっぶみーん

うにゅう、おはよう

https://www.dairy-milk.co.jp/goods/cream-09/ これほしい

のすたろう、のすたろうならレターパックで何を送りますか

「レターパックで送れ」はすべて詐欺です

僕がポイントフリースタイルが好きなのは、「変数名を考えなくてすむ」から。

わが心おどりはねるがごとくなり

わが心躍り跳ねるがごとくなり

DMはまずRSA暗号で相手を認証して、ディッフィーヘルマンで鍵を交換して、で暗号化して送信するってのが理想だと思う。 そうなると、まずリレーに「アリスがボブにDMを送りたがってるよ」という情報が送られて、それをボブ側のクライアントが発見する。でボブ側のクライアントが認証されて、鍵交換が行われる。でアリスが暗号化したメッセージを送る。そんな感じ。 NIPのDMもそうなってるかな。 非同期風にしたいのであれば、クライアント側でアリスのメッセージを保存しておいて、ボブのクライアントからの応答があった時点で送信するようにすれば、「人間のアリス」にとっては非同期に感じられる、かな。 適当に考えただけなので適当。

https://www.sirogohan.com/recipe/mitarasi/ そのうち「みたらし団子」を自作したいな。

合法侵入者ともあんまり言わない。

子供のころは「みたらし」が好きだった。今は「みたらし」「あん」「いそべ」を順に回したくなるくらい平等に好き。

https://anastasiatetris.com/kokoropyonpyon-kanbun これわりと好きかも。 「ああ、心がぴょんぴょんするんじゃ」の漢文バージョン。 噫我心如跳躍也 ああ、我(われ)が心(こころ)は躍(おど)り跳(は)ねるが如(ごと)きや。

GHCの言語拡張って、わりと「それ欲しかったやつ」って思うので、開発者にエスパーがいるのだと思う。

GHCには言語拡張がいろいろあって、ViewPatterns拡張は「変数名いろいろ考えたくない」という人には便利 foo x = bar x' where x' = baz x みたいなのを、 foo (baz -> x) = bar x みたいに書ける。 変数名ってわりと考えるのめんどいので重宝してる。

そうでしたか。いつも、おもちにはお世話になってます