℘ make now just

if you wanna break free you better listen to me

DecJanFebMarAprMayJunJulAugSepOctNov/post/2024-11-10-diary//post/2024-11-11-diary//post/2024-11-12-diary//post/2024-11-13-diary//post/2024-11-14-diary//post/2024-11-15-diary//post/2024-11-16-diary//post/2024-11-17-diary//post/2024-11-18-diary//post/2024-11-19-diary//post/2024-11-20-diary//post/2024-11-21-diary//post/2024-11-22-diary//post/2024-11-23-diary//post/2024-11-24-diary//post/2024-11-25-diary//post/2024-11-26-diary//post/2024-11-27-diary//post/2024-11-28-diary//post/2024-11-29-diary//post/2024-11-30-diary//post/2024-12-01-diary//post/2024-12-02-diary//post/2024-12-03-diary//post/2024-12-04-diary//post/2024-12-05-diary//post/2024-12-06-diary//post/2024-12-07-diary//post/2024-12-08-diary//post/2024-12-09-diary//post/2024-12-10-diary//post/2024-12-11-diary//post/2024-12-12-diary//post/2024-12-13-diary//post/2024-12-14-diary//post/2024-12-15-diary//post/2024-12-16-diary//post/2024-12-17-diary//post/2024-12-18-diary//post/2024-12-19-diary//post/2024-12-20-diary//post/2024-12-21-diary//post/2024-12-22-diary//post/2024-12-23-diary//post/2024-12-24-diary//post/2024-12-25-diary//post/2024-12-26-diary//post/2024-12-27-diary//post/2024-12-28-diary//post/2024-12-29-diary//post/2024-12-30-diary//post/2024-12-31-diary//post/2025-01-01-diary//post/2025-01-02-diary//post/2025-01-03-diary//post/2025-01-04-diary//post/2025-01-05-diary//post/2025-01-06-diary//post/2025-01-07-diary//post/2025-01-08-diary//post/2025-01-09-diary//post/2025-01-10-diary//post/2025-01-11-diary//post/2025-01-12-diary//post/2025-01-13-diary//post/2025-01-14-diary//post/2025-01-15-diary//post/2025-01-16-diary//post/2025-01-17-diary//post/2025-01-18-diary//post/2025-01-19-diary//post/2025-01-20-diary//post/2025-01-21-diary//post/2025-01-22-diary//post/2025-01-23-diary//post/2025-01-24-diary//post/2025-01-25-diary//post/2025-01-26-diary//post/2025-01-27-diary//post/2025-01-28-diary//post/2025-01-29-diary//post/2025-01-30-diary//post/2025-01-31-diary//post/2025-02-01-diary//post/2025-02-02-diary//post/2025-02-03-diary//post/2025-02-04-diary//post/2025-02-05-diary//post/2025-02-06-diary//post/2025-02-07-diary//post/2025-02-08-diary//post/2025-02-09-diary//post/2025-02-10-diary//post/2025-02-11-diary//post/2025-02-12-diary//post/2025-02-13-diary//post/2025-02-14-diary//post/2025-02-15-diary//post/2025-02-16-diary//post/2025-02-17-diary//post/2025-02-18-diary//post/2025-02-19-diary//post/2025-02-20-diary//post/2025-02-21-diary//post/2025-02-22-diary//post/2025-02-23-diary//post/2025-02-24-diary//post/2025-02-25-diary//post/2025-02-26-diary//post/2025-02-27-diary//post/2025-02-28-diary//post/2025-03-01-diary//post/2025-03-02-diary//post/2025-03-03-diary//post/2025-03-04-diary//post/2025-03-05-diary//post/2025-03-06-diary//post/2025-03-07-diary//post/2025-03-08-diary//post/2025-03-09-diary//post/2025-03-10-diary//post/2025-03-11-diary//post/2025-03-12-diary//post/2025-03-13-diary//post/2025-03-14-diary//post/2025-03-15-diary//post/2025-03-16-diary//post/2025-03-17-diary//post/2025-03-18-diary//post/2025-03-19-diary//post/2025-03-20-diary//post/2025-03-21-diary//post/2025-03-22-diary//post/2025-03-23-diary//post/2025-03-24-diary//post/2025-03-25-diary//post/2025-03-26-diary//post/2025-03-27-diary//post/2025-03-28-diary//post/2025-03-29-diary//post/2025-03-30-diary//post/2025-03-31-diary//post/2025-04-01-diary//post/2025-04-02-diary//post/2025-04-03-diary//post/2025-04-04-diary//post/2025-04-05-diary//post/2025-04-06-diary//post/2025-04-07-diary//post/2025-04-08-diary//post/2025-04-09-diary//post/2025-04-10-diary//post/2025-04-11-diary//post/2025-04-12-diary//post/2025-04-13-diary//post/2025-04-14-diary//post/2025-04-15-diary//post/2025-04-16-diary//post/2025-04-17-diary//post/2025-04-18-diary//post/2025-04-19-diary//post/2025-04-20-diary//post/2025-04-21-diary//post/2025-04-22-diary//post/2025-04-23-diary//post/2025-04-24-diary//post/2025-04-25-diary//post/2025-04-26-diary//post/2025-04-27-diary//post/2025-04-28-diary//post/2025-04-29-diary//post/2025-04-30-diary//post/2025-05-01-diary//post/2025-05-02-diary//post/2025-05-03-diary//post/2025-05-04-diary//post/2025-05-05-diary//post/2025-05-06-diary//post/2025-05-07-diary//post/2025-05-08-diary//post/2025-05-09-diary//post/2025-05-10-diary//post/2025-05-11-diary//post/2025-05-12-diary//post/2025-05-13-diary//post/2025-05-14-diary//post/2025-05-15-diary//post/2025-05-16-diary//post/2025-05-17-diary//post/2025-05-18-diary//post/2025-05-19-diary//post/2025-05-20-diary//post/2025-05-21-diary//post/2025-05-22-diary//post/2025-05-23-diary//post/2025-05-24-diary//post/2025-05-25-diary//post/2025-05-26-diary//post/2025-05-27-diary//post/2025-05-28-diary//post/2025-05-29-diary//post/2025-05-30-diary//post/2025-05-31-diary//post/2025-06-01-diary//post/2025-06-02-diary//post/2025-06-03-diary//post/2025-06-04-diary//post/2025-06-05-diary//post/2025-06-06-diary//post/2025-06-07-diary//post/2025-06-08-diary//post/2025-06-09-diary//post/2025-06-10-diary//post/2025-06-11-diary//post/2025-06-12-diary//post/2025-06-13-diary//post/2025-06-14-diary//post/2025-06-15-diary//post/2025-06-16-diary//post/2025-06-17-diary//post/2025-06-18-diary//post/2025-06-19-diary//post/2025-06-20-diary//post/2025-06-21-diary//post/2025-06-22-diary//post/2025-06-23-diary//post/2025-06-24-diary//post/2025-06-25-diary//post/2025-06-26-diary//post/2025-06-27-diary//post/2025-06-28-diary//post/2025-06-29-diary//post/2025-06-30-diary//post/2025-07-01-diary//post/2025-07-02-diary//post/2025-07-03-diary//post/2025-07-04-diary//post/2025-07-05-diary//post/2025-07-06-diary//post/2025-07-07-diary//post/2025-07-08-diary//post/2025-07-09-diary//post/2025-07-10-diary//post/2025-07-11-diary//post/2025-07-12-diary//post/2025-07-13-diary//post/2025-07-14-diary//post/2025-07-15-diary//post/2025-07-16-diary//post/2025-07-17-diary//post/2025-07-18-diary//post/2025-07-19-diary//post/2025-07-20-diary//post/2025-07-21-diary//post/2025-07-22-diary//post/2025-07-23-diary//post/2025-07-24-diary//post/2025-07-25-diary//post/2025-07-26-diary//post/2025-07-27-diary//post/2025-07-28-diary//post/2025-07-29-diary//post/2025-07-30-diary//post/2025-07-31-diary//post/2025-08-01-diary//post/2025-08-02-diary//post/2025-08-03-diary//post/2025-08-04-diary//post/2025-08-05-diary//post/2025-08-06-diary//post/2025-08-07-diary//post/2025-08-08-diary//post/2025-08-09-diary//post/2025-08-10-diary//post/2025-08-11-diary//post/2025-08-12-diary//post/2025-08-13-diary//post/2025-08-14-diary//post/2025-08-15-diary//post/2025-08-16-diary//post/2025-08-17-diary//post/2025-08-18-diary//post/2025-08-19-diary//post/2025-08-20-diary//post/2025-08-21-diary//post/2025-08-22-diary//post/2025-08-23-diary//post/2025-08-24-diary//post/2025-08-25-diary//post/2025-08-26-diary//post/2025-08-27-diary//post/2025-08-28-diary//post/2025-08-29-diary//post/2025-08-30-diary//post/2025-08-31-diary//post/2025-09-01-diary//post/2025-09-02-diary//post/2025-09-03-diary//post/2025-09-04-diary//post/2025-09-05-diary//post/2025-09-06-diary//post/2025-09-07-diary//post/2025-09-08-diary//post/2025-09-09-diary//post/2025-09-10-diary//post/2025-09-11-diary//post/2025-09-12-diary//post/2025-09-13-diary//post/2025-09-14-diary//post/2025-09-15-diary//post/2025-09-16-diary//post/2025-09-17-diary//post/2025-09-18-diary//post/2025-09-19-diary//post/2025-09-20-diary//post/2025-09-21-diary//post/2025-09-22-diary//post/2025-09-23-diary//post/2025-09-24-diary//post/2025-09-25-diary//post/2025-09-26-diary//post/2025-09-27-diary//post/2025-09-28-diary//post/2025-09-29-diary//post/2025-09-30-diary//post/2025-10-01-diary//post/2025-10-02-diary//post/2025-10-03-diary//post/2025-10-04-diary//post/2025-10-05-diary//post/2025-10-06-diary//post/2025-10-07-diary//post/2025-10-08-diary//post/2025-10-09-diary//post/2025-10-10-diary//post/2025-10-11-diary//post/2025-10-12-diary//post/2025-10-13-diary//post/2025-10-14-diary//post/2025-10-15-diary//post/2025-10-16-diary//post/2025-10-17-diary//post/2025-10-18-diary//post/2025-10-19-diary//post/2025-10-20-diary//post/2025-10-21-diary//post/2025-10-22-diary//post/2025-10-23-diary//post/2025-10-24-diary//post/2025-10-25-diary//post/2025-10-26-diary//post/2025-10-27-diary//post/2025-10-28-diary//post/2025-10-29-diary//post/2025-10-30-diary//post/2025-10-31-diary//post/2025-11-01-diary//post/2025-11-02-diary//post/2025-11-03-diary//post/2025-11-04-diary//post/2025-11-05-diary//post/2025-11-06-diary//post/2025-11-07-diary//post/2025-11-08-diary//post/2025-11-09-diary//post/2025-11-10-diary/
  • Less
  • More

Post List [116/156]:

  • : `:.:`なんなのか問題

    やったこと Scala Generic1の必要なクラスなどを実装してみたところ動くので、マクロで自動導出するところまでいきたい。 というかshapelessのGeneric1はどうしてあんな設計なんだろ。 それとGHC.Genericの:.:はなんのためにあるんだ? これがあっ…

  • : enumcaseを作った

    やったこと ミリシタ PLv 314になった。 どこまでいけばAP 200になるのだろうか‥‥。 enumcaseを作った 成果。 https://github.com/MakeNowJust/enumcase

  • : サマパ夜公演に参加した

    やったこと シャニ 最低保証。 https://twitter.com/make_now_just/status/1162869960860823552 サマパ夜公演に参加した というわけでサマパ当日。 昼くらいに横浜で前日に注文していたボタン電池を受け取って会場に向かった。 …

  • : 暇だ‥‥

    やったこと Scala scalapropsのやつはマージされた。 Funはどうしよっかなー。 pixiv.moe 復活した。はやい。 マギレコ イベントのシナリオは終了。 チャレクエは暇なときにやっていきます。 めんどい。 チャレクエ含め全部終わってしまった。 イベント素材回…

  • : 何はともあれ初日

    やったこと Scala Scalapropsに出したPRはどうやら見逃されていたらしい。 https://twitter.com/xuwei_k/status/1162008121759293446 マージされるといいな。 pixiv.moe また落ちてる‥‥。APIいつ復活す…

  • : mtl関連のクラスを実装した

    やったこと Scala mtl関連のクラスを実装した‥‥けど上手く型推論されないので厳しい。 恐らくF[_[_], _]というシグネチャなのが悪いのだと思う。 どうりでcats-mtlのMonadLayerがああいう定義になってるわけだ。 作り直すか‥‥。 MonadTrans…

  • : アホガール見た

    やったこと ジョジョ5部 見終わった。 終盤若干ダレた感じがするけど、結末がすごく良かったので許せる。 何というか壮大な話だったなぁ。 あとポルナレフ亀になってしまったか‥‥。 6部もアニメ化しないかな。 アホガール ファフナーに変わるやつを見たので見た。 Y.AOIとイキ杉田…

  • : daliを実装した。

    やったこと Scala shapelessみたいな感じのライブラリとしてdaliというものを作った。 名前の由来は何となく察して。 Generic[Foo]でFooとHlist, Coproductを相互に変換するメソッドが得られるところまで実装されてる。 マクロをこんなにがっ…

  • : シャニマス無料10連のはじまり

    やったこと Scala ふと気付いたけど、FunctorとかContravariantにwidenとかnarrowみたいなメソッドがあるのは、それ自体が便利なこと以上に、それが実装できるという事実が重要なんだろうな、と思った。 つまりFunctorはwidenが実装できるという…

  • : ScalapropsにPull Requestを出した

    やったこと 疲れてる さすがに連日徹夜でScala書いてるので体力の限界を感じる。 疲れた‥‥。 Scala Scalapropsにissueとpull requestを投げた。 https://github.com/scalaprops/scalaprops/issues/4…

  • : PartialFunを実装した

    やったこと ジョジョ5部 面白いけど4部の方が好き、というか、4部は個人的に好きな感じが強くて、5部は単純に面白いって感じがする。 5部はストーリーの作りが面白いから次が気になるんだな。 なんか4部のカウンターなのか無駄に派手にしようとしてる気がする。 シャニマス SSRあさひ…

  • : ジョジョ5部を見てる

    やったこと ジョジョ5部 勢いで見始めてしまった。 面白い。 ‥‥時間が無限に溶ける。 Scala そういえばBimonadとBifunctorでbi-の使い方違うの微妙だよなぁ、と思ったけど、冷静に考えるとBifunctorのbi-の用法はプログラミングの文脈では使わない気が…

  • : ジョジョ4部見終わった

    やったこと ミリシタ イベント折り返し。 ようやくランニングハイッできる。 あとドンロブ配信されたらしいから買わなきゃ。 マギレコ そういえばイベントのアイテム全部回収してしまった。 完全に走りすぎ。うーん‥‥。 シャニマス イベントの感謝祭のミッションは全て終わったのでWIN…

  • : ジョジョ4部観てる

    やったこと 進めキノピオ隊長 エピソード2の最初のコースむずい‥‥。 以降もこの調子ならしんどいぞ、って思ったら最初だけで困った。 なんなん。 Scala Arrow関連の型クラス追加した。 lawが多すぎる‥‥。 implicit parameterの数がヤバいことになった。…

  • : Scala書いてた

    やったこと Scala 色々考えた末、StateTのAlternativeインスタンスを削除して、MonoidKとSemigroupKのインスタンスを追加した。 冷静に考えればこれで十分なはず。 まあright absorptionは保証したいところだけど、別にいいかなぁ、と。…

  • : StateTのAlternativeインスタンスなんも分からん

    やったこと マギレコ 昨日イベントアイテム集めすぎて周回が面倒。 なんで1万近く集めてるんですかね‥‥。 Scala 内側の関手がMonadかつAlternativeのときStateTにAlternativeのインスタンスを提供しているのだけど、これが内側の関手によってはAlt…

  • : マギレコしてた

    やったこと neko 型クラスとかインスタンスの書き方を大分洗練させた。 わりと実用的になってきた気がする。 あとscalapropsの使い方がようやく分かってきた気がする。 マギレコ なんか今日はずっとマギレコしてた。 なんで‥‥? 覚醒素材足りなすぎてしんどい。

  • : バンナムフェス通し券当たったぞい

    やったこと quine.codesのHTTPS化 なんかquine.codesがHTTPSでつながらなくなっていたのでGitHub Pagesのヘルプを見てDNSの設定を直すなどした。 具体的には、quine.codesのDNSのAレコードに、 185.199.108.153 …

  • : 品川二郎に行った

    やったこと decks 数日前からビルドエラーになっていて何が原因かと思ったら、CLIのgh-pagesがやらかしてるっぽい。 https://github.com/tschaub/gh-pages/issues/308 とりあえずissueにある通り--git "$(whic…