HERP では，開発体験の向上のため，順次 flakes の導入を進めている．「次世代の Nix」とでも呼ぶに相応しい flakes は，未だ実験的な機能と位置付けられているものの，従来の Nix で

HERP Hire には利用企業の求人ページや応募フォームを作成できる機能があり，スパムによる応募を防ぐため reCAPTCHA を導入している．HERP では昨今，求人ページおよび応募フォームのリプ

HERP における開発では Nix が広く活用されている．Nix は非常に便利な代物なのだが，ドキュメントの貧弱さ，急峻な学習曲線，企業における採用事例の乏しさなどが相まって，広く普及しているとは言い

HERP では多くの成果物が Nix を用いてビルドされている．例として，アプリケーションの Docker image，npm ライブラリの tarball，Helm chart を元にした Kubernetes の manifest ファイルなどが挙げられる．

はじめにこの記事は，HERP における Web フロントエンド開発の概観を，世間の開発者に——特に潜在的・顕在的な候補者の方に——知ってもらうことを目的として書かれた．HERP では現在 Web フロ

「ゴミの収集が止まる年末に大掃除をするのは非合理だ」という言説を見かけた．「一理ある」と感じたので，特に家の大掃除などはしないことに決め，代わりに dotfiles の大掃除をすることにした．

TL; DR FONTCONFIG_FILE = "${pkgs.fontconfig.out}/etc/fonts/fonts.conf";

Storybook 6.0 から，ある Storybook の中から別の Storybook を参照することができる "Storybook composition" という機能が導入された． これは目玉機能として挙げられているものの，2021年1月現在この機能についてのドキュメンテーションが十分になされていない．そのため，不足している情報を補完することを目的としてこの記事を書くことにした．

この記事は Haskell Advent Calendar 2020 20日目の記事です． TL; DR タイトル

Dhall の Prelude を眺めていて見付けた，ランク2多相を使ったテクニックを紹介する．

TL; DR Netlify の build hook URL を発行する 上記の URL に対して定期的にリクエストが送られるように設定する

前編はこちら https://ryota-ka.hatenablog.com/entry/2019/08/15/213000

一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その

みなさん，Haskell やってますか？ 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か？」という感じがするので，Nix でシュッと入れていきまししょう．

もう1ヶ月ちょっと前の話になるが，effect system 勉強会 で Cycle.js の話をしてきた．

cycle-ink-driver というライブラリをリリースした．このライブラリを用いると，Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる．

この記事は CAMPHOR- Advent Calendar 2018 15日目の記事です．14日目の記事は @Rtm6Lgo の とある研究室の運営のエモいお話 でした． Nix Expressi

Dhall v3.0.0 がリリースされた．メイジャーバージョンの更新ということで，いくつかの破壊的変更を含む． Version 3.0.0 of the Dhall standard is out

お盆に数日の休みがあったので，Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた．Wittgenstein の著作

こんにちは．Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか？Kubernetes をやっていこうとすると，大量の YAML を書くことになって大変である．大量の YAML を書くことは大変なので，大抵コピペする．コピペをするが，コピペは怖い．