κeenです。 普段お世話になってるけど使ったことのないAPIを叩いてみよう、ということで epoll(7) を使ってみます。

κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います。

κeenです。 去年末にhatsugaiさんが面白い問題を出してたのでIdrisで解いてみます。

κeenです。2021注目していきたい技術、やっていきたいことを書いておく。

κeenです。何もしてないのにパソコン壊れた。 まだ直ってないけどこの記事書かないと1年が締まらないのでノートPC引っ張り出してブログを書く。

この記事は去年末に書いていた記事です。 執筆中にパソコンがクラッシュして修理に1ヶ月くらいかかったので公開が遅くなりました。 それを踏まえて記事をご覧下さい。

κeenです。 そろそろAdvent Calendarも終盤になってきましたね。 今回は前回の標準ライブラリ紹介であえて外したモナドについて紹介します。

このエントリはML Advent Calendar 2020の17日目の記事です。空いてるのも寂しいので埋めます。

κeenです。俺たちのAdvent Calendarはまだまだ続くぜ！ Idrisの標準ライブラリ、preludeとbaseをサクっと解説していきます。

κeenです。Jeremy Gibbsons. 1995. “The Third Homomorphism Theorem” を読んだメモ。 いわゆるリストの第三準同型定理と呼ばれるものについて、原典をあたってみたのでメモを残しておく。

κeenです。俺たちのAdevnt Calendarはまだまだ終わらないぜ！ Idrisの標準ライブラリを含め、世間でモノイド（などの代数構造）とされる型クラスって正しくないよねという話と、正しい定義をする話をします。