文系でプログラマーになったけど色々失敗して３年半で会社を辞めた話｜denkigai｜noteという記事を読みました。 この記事に書かれていることが私の身にも覚えがあります。特に私と同い年の方のようなので自分に重ねてしまうところもあります。 ですが多少似たところはあってもやっぱり他人なので全然違う体験もしています。そういう体験を書いてみようと思います。もし該当記事を読んで絶望した人がいるなら別の例もあるよということで参考にしてください。

κeenです。Idris入門: 数当てゲーム | κeenのHappy Hacκing Blogに続いて入門記事を書いてみます。 前回はバイナリを作ったので今回はライブラリを作ります。題材は(非平衡)二分木。

κeenです。 Idrisの入門記事ってあまりないなと思ったので少し書いてみます。 私は別にIdrisに詳しいわけではないので間違っているかもしれないことに注意してください。

κeenです。最近にわかにIdrisが話題になってるようですね。 私の知ってる範囲でIdrisの環境構築について書こうと思います。

κeenです。最近、Rustのタプルに「tuple[0] じゃなくて tuple.0 のようにアクセスするのなんでだろ」というのをみかけてびっくりしたのでそれについて。

The rest of this article is written in Japanese. For those who don’t understand Japanese, auto translation tools may help you. I’m writing my blog in Japanese because I put importance on Japanese community and the situation “information is available in mother tongue”.

κeenです。 #rust2019 の投稿として自分の考えをまとめます。自動翻訳で翻訳しやすいように1文1文を短めに書きます。

κeenです。2018年注目していきたい技術とかをベースに1年を振り返ります。

このエントリは Rustその2 Advent Calendar 2018の19日目のの記事です。時空を遡って書いています。

κeenです。

マクロのためのユーティリティマクロを書いていると呼び出しをネストしたくなりますが、簡単には実現できないのでそれについて。 あるいは過去記事の前半と後半のギャップについて。