viercc's profile picture. 一応生きてますよ(2019/08)
すこし元気になってますよ(2020-)

趣味プログラミング専門エンジニア

Koji Miyazato

@viercc

一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア

Pinned

[私のプロフィールをこれで検証してね: openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6]


Koji Miyazato reposted

現在FFLでorganizationとしてGitHub Sponsorsを開こうと思っています.ただメンテナ2人に対してGitHub側で分割する方法がおそらくないことや手数料の問題があるらしいのですが,実情をよく知らないのでOSSへの寄付に詳しい方の意見が聞きたいです.代替としてOpen Collectiveなどを考えています.

現在のところFormalized Formal Logicは無給の学生2人で開発しており、金銭的な支援を頂けると非常に助かります!ぜひよろしくおねがいします。 github.com/FormalizedForm…



Koji Miyazato reposted

Haskellers, please help me out. Here is an Either indexed by a type-level Bool. When 'i' is False it is guaranteed to be Left, and when 'i' is True it is guaranteed to be Right. Is there a way to keep the type parameters 'a' and 'b' representational while also being able to ...

ymdfield's tweet image. Haskellers, please help me out.

Here is an Either indexed by a type-level Bool. When 'i' is False it is guaranteed to be Left, and when 'i' is True it is guaranteed to be Right. Is there a way to keep the type parameters 'a' and 'b' representational while also being able to ...

Koji Miyazato reposted

Do you like parsers? Excited by profunctor optics? Come check out my new library. Distributors - Unifying Parsers, Printers & Grammars hackage.haskell.org/package/distri…


viercc's tweet image.

モナド同士、コモナド同士の分配法則について viercc.github.io/blog/posts/202…



モナド同士、コモナド同士の分配法則について viercc.github.io/blog/posts/202…


私@viercc はXから漸次他のSNSに移行中です。このアカウントは維持しますが、「いいね」と会話のためのリプライ以外せず、リポストも基本的にはしません。 現在のところbskyに書いています。 bsky.app/profile/viercc…


TravelコモナドとFlowモナド viercc.github.io/blog/posts/202…


Koji Miyazato reposted

タブレットに書かされる署名とか怖いよね 「エラー出て消えちゃいました(^ ^)もう一度記入お願いします」って言って、その消えたはずの署名を勝手に別の書類に印刷したら、本人が同意してないのに本人のユニークな署名がある書類の完成である


Loading...

Something went wrong.


Something went wrong.