AWS でネットワークを構築しウェブサーバを公開する手順を解説した入門書。tatsu-zine.comKubernetes を勉強していた時、ローカル環境である程度動かすことができたので、次はより

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

Terraform 何も分からん、取り敢えず概要を知りたいなと思い、手に取った。gihyo.jp私のような初心者を対象としていると思われ、かなり初歩から丁寧に話が進んでいく。全体的に実際に手を動

Kubernetes には Restart Policy や Probe という設定や仕組みがある。この記事では、Restart Policy や Probe をどのように設定すればよいのか、そして

この記事では Docker Desktop 上で Kubernetes クラスタを作り、実際に動かしながら、Kubernetes の基本的な仕組みについて説明していく。動作確認は以下の環境で行った。

手元のnixバージョンは 2.18.0pre20230828_736b9ce です前記事 https://zenn.dev/ruicc/articles/33e5f9c5103e6a ではbuilt

マイクロサービスアーキテクチャにおいて、ある構造化されたデータを、構造を維持したまま別のコンポーネントでも使いたくなる誘惑が存在する。例えば、ドメインロジックを扱うコンポーネントに「ユーザーの種別（

プログラミングを学び始める前に押さえておくべき基礎知識を学べる一冊。tatsu-zine.com著者が執筆した『基礎からわかるTCP/IP ネットワークコンピューティング入門 第3版』がよかったの

チームでソフトウェア開発をするとき、一度のリリースに含まれる変更が多すぎることにより、動作検証に時間がかかったり、問題が発生した時の原因特定が難しくなることがある。これを防ぐため、tocenbough

Unix プロセスとはどのようなもので、どのような特徴を持つのか、平易な文章と簡潔なコードを使って解説していく一冊。tatsu-zine.comプロセスID、プロセスの親子関係、標準ストリームとい

CPU について学ぶ初歩的な教材としてよさそうと思い、手に取った。gihyo.jpCPU はレジスタや ALU から構成されること、CPU は0と1で構成される機械語しか理解できないため高水準言語

スクラムのように見えるがスクラムではない、機能していないスクラムを「ゾンビスクラム」と名付け、なぜそれが発生するか、いかにそこから回復すべきかを説いた一冊。www.hanmoto.comスクラムガ

概要Nixのbuildは依存関係が複雑でどのビルドにどの程度の時間がかかっているかを把握するのは難しい。そこで OpenTelemetry を使ってbuildやcacheの取得にかかった時間を可視

Puppeteer を用いた web スクレイピングアプリケーションの起動中に CPU/memory 使用量が荒ぶるので何とかしたいなあと思って最近対策を考えていますPuppeteer は内部で C

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

こんにちは､びしょ～じょです｡最近『並行プログラミング入門』を読みました｡

「リスク」をどのように捉え、どのように向き合っていくべきなのか説いた一冊。用語や概念の整理をしつつ、具体的にどのように取り組むべきかを論じていく。2003 年頃に出版されたということもあってか、ソ

MySQL には SQL Mode という設定があり、この内容によって、許容される構文やデータの妥当性チェックのルールが変化する。この記事では SQL Mode の確認方法や設定方法の他、設定内容に

aboutこの記事は Run-Time Loadable Extensions で書かれている Statically Linking A Run-Time Loadable Extension を

English version hereTootRain 1.6 が来ました、ついにGIFが動きます！さらに@Linkzeroが作ってくれたRIP Tweetrainアイコンに変更できるようにな

UNIX やそのツールはどのような考えに基づいて作られているのか解説した本。UNIX が開発されていくなかで培われていった文化や考え方について書かれている。www.ohmsha.co.jpU

Renovate についてGitHub リポジトリで Renovate による依存パッケージの更新を設定すると、新バージョンがリリースされるごとに更新を適用するプルリクエストが自動生成されてとても便

この記事では、 Web API で文字列の可逆圧縮を行う方法について書いていく。任意の文字列を圧縮し、そして圧縮された文字列のリテラル表現から元の文字列を復元できることを目指す。以前書いたように

tl;drIntl.DateTimeFormat を使うときは、インスタンスを使い回さないと時間もかかるしメモリももりもり食うんで気をつけましょう。 Intl.DateTimeFormatJ

僕の所属する HERP では、プロダクトを作る際にしょっちゅうユーザーストーリーマッピングをしている。プロダクト全体から小規模な機能まで、僕がこれまでやったユーザーストーリーマッピングの回数は数十回に

この記事では Base64 やbtoa、そしてbtoaの挙動を理解するために必要な Latin1 について説明していく。この記事に出てくるコードの動作確認は以下の環境で行った。Deno 1.

この記事を書いている時点での最新バージョン:ghc-9.4.3safe-exceptions-0.1.7.3safe-exceptionsパッケージについて書かれている記事はいくつかあります

前回読んだ『Joel on Software』の Joel Spolsky が、ソフトウェア開発者の採用について論じた一冊。自身が優秀な開発者であり経営者でもある Joel が、多くのソフトウェア開

Microsoft での勤務経験を持ち Stack Overflow の創業者でもある Joel Spolsky によるエッセイ集。 Joel は自身が運営するウェブサイト Joel on S

この記事では、 Unicode において表示不可能な文字を表現する「置換文字」について説明する。この記事に出てくるコードの動作確認は以下の環境で行った。Deno 1.26.0TypeScr

この記事では、 JavaScript で文字コードを扱う際に知っておくべき概念である Code Point や Code Unit、サロゲートペア、といったものについて説明していく。また、具体的にそ

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

こんにちは､びしょ～じょです｡え～～もう9月ですが今年1本目の記事です｡某書展に出す予定だったのですが色々あって出しそこねたのでここで供養します｡べ､別に脱稿遅れたわけじゃないんだからね!実際

イントロraspberry pi zeroをちょっと前に２枚買ったのが特に用途がない強いて用があるとすれば、この前買ったserial通信経由でデータが取れるco2計測器がLinuxの方が読みや

この記事では、継続渡しスタイル（continuation passing style、以下 CPS）の概要と、CPS の活用例を書いていく。この記事に出てくるコードの動作確認は TypeScrip

Node.js には Stream というインターフェイスが用意されており、これを使うことでデータをストリーミングできる。Stream を使うことで、データの全てをメモリに保持するのではなく、少しず

メール配信プラットフォームであるSendGridは、メールの到達状況などを、呼び出し元のアプリケーションにWebHookで伝えることができる。sendgrid.kke.co.jpアプリケーショ

Amazon Web Services（以下 AWS）の入門書。AWS やその前提となる知識について、非常に平易に解説している。理解を促すための図も豊富で、分かりやすい。AWS を学ぶ最初の一冊と

21世紀現在のプログラミング言語において、モジュールという機能はほぼ必要不可欠である。ソースコードを分割し、明示的な依存関係を指定する仕組みであるモジュールは、以下のような様々な恩恵をもたらす。

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

Docker の volume は、コンテナが使うデータを永続化するための仕組みで、これを使うことでコンテナのライフサイクルとは別にデータを管理することができる。また、network という機能を使

Docker への入門の一環として、自分で Dockerfile を作成し、それを使って Node.js アプリを Docker Container で動かしてみる。Hello WorldDo

概要HERPでは shell.nix をgit repositoryのrootに置いて依存関係を解決しているが、PATH がprojectごとに設定されるだけなので 例えば kubectl の補完

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

Prisma は、Node.js の ORM。この記事では、導入方法、基本的な使い方について説明したのち、Prisma を使って簡単な API サーバを作ってみる。Node.js のバージョンは

この記事では、GraphQL を利用したアプリを Next.js で構築していきながら、GraphQL の初歩について書いていく。GraphQL のクライアントもサーバも、Apollo を用いる。

こんにちは、whywrite.it CI/CD班のwhywaitaです。 つくりました。 これはなに GitHub Actionsにはactions/cacheというものがあって、ビルド時の依存関係を

tl; drScala の fp ライブラリ Cats と、TypeScript の fp ライブラリ fp-ts を比較してみました。主に言語仕様の違い（評価戦略の違いや型コンストラクタの有無

イントロカイゼン、してますか？続きをみる

サマリwordle派生で、色のカラーコードを当てるゲームをつくった。mazamachi.github.ioColorfle↓を見て分かる通り、上に表示される四角のカラーコードを当てるゲー

サーバ・クライアント間の通信を gRPC で行う場合、インターフェイスを定義した共通のファイルから、サーバとクライアント双方のコードを生成することができる。この記事では、インターフェイスの定義ファイ

2022年1月1日に株式会社HERPに入社しました。今回は、私が株式会社HERPに入社するまでの経緯や考えたことついて書いてみます。転職を考えるようになったきっかけ前職では、Ruby on

最近仕事で PostgreSQL を使うことになったので、忘備録としてDocker で環境構築して一通り触ったメモを、主に MySQL との差分に注目しながら書きます。PostgreSQL の D

abstGitHubの権限を真面目に管理することを考えると、やはりrepositoryに対してUserを紐付けることをやめたい。つまりRepositoryに対してTeamを紐づける権限管理をやり

2 年ぶりに労働し始めたことでブログの更新頻度が露骨に落ちているが、文章を全く書いていないわけではなく、折に触れて社内で長文を投下している。社内向けの怪文書ばかり書いていて、パブリックなブログを全

React v18 には多くの改善や新機能が盛り込まれる予定だが、そのなかでも特に注目を集めると思われるのが、Concurrent Features と呼ばれる一連の機能。これらの機能を使うことで、

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

「科学的な営業」に興味があり、その分野の定番のひとつである『THE MODEL』を読んだ。どのように営業プロセスを構築し機能させるのかについてコンパクトにまとまっているので、特に BtoB SaaS

TL;DRHaskellはいいぞ。ただ仕事で使うならビルド、デプロイ周辺は工夫する必要が色々出てくるぞ。あ、nixもいいぞ。

技術選定を行う前にまず、どのような開発組織にしたいのか、どのように事業を進めていきたいのか、そこを整理しないと上手くいかない。そんなことを最近考えていたので、ブログに書いておく。自分は書くことで思考

2019 年の夏に前職を辞め、そのまま無職として過ごし今年の 10 月にようやく再就職して働き始めた。何か事情があって働けなかったわけではなく、プログラミングの能力を伸ばすために敢えて就職しなかった。

Mastodon と Slack から画面にコメントを流す Mac アプリです。元々は Mastodon から流すだけだったが、会社のみんなは会議にコメントを流すのが好きで、なんとか使えないかなと思

概要"""社会"""にはいろいろあるので、運用中のS3を暗号化しましたHERPの話です。採用してます。careers.herp.co.jpざっくり以下の内容（+ S3 Bucket K

はじめにこんにちは、Lapi（@dragoneena12）です。Vagrant-Virtualbox を WSL2 から動かしたいなと思ったのですが、意外としっかりした情報がなくて若干詰まったので

こんにちは､びしょ～じょです｡労働に手を染めて1年経ったんですが､特に深い話はないです｡しかし金で殴る力が強くなったので､沖縄行きの飛行機に乗り遅れても翌日の航空券を買うという技ができました｡美

こんにちは､びしょ～じょです｡気づけば2021年も4月なんですが､3月に開催されたPPL 2021の話をします｡今回はもう学生ではないんですが､弊株式会社HERPがゴールドスポンサーになったので､

Amazon SQS のスキーマ管理を Protobuf でやってみました。サンプルコードはこちら。github.com.proto ファイル以下のような .proto ファイルを用意

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

こんにちは、Lapi（@dragoneena12）です。最近SREインターンをさせていただいている株式会社HERPさんで、istioのメトリクス（custom metrics）をもとにHPAを設定す

概要社内で使っていたツールのDatabaseに実験用途でCockroachDB(v20.1.3)を使っていた。構成は以下となる。「AWS EKS1.6上にStatefuleSetで3Podで運

イントロこの記事では、良いユーザーストーリーやプロダクトバックログアイテムを書くときの指針である「INVEST原則」を達成するのは無理じゃない？って話を共有したい。この記事を書く段階ではマジで困

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

1. はじめにあけおめ､びしょ～じょです｡では前回からの続きです｡構文を定義したのであとは評価器を実装するだけです｡そういえば前回オキャモーを書いてましたが全体はこちらにあります｡

こんにちは、whywrite.it 総まとめ班のwhywaitaです。 あけましておめでとうございます。本年もよろしくお願いします。 本当は総まとめは2020年中に書いておきたかったのですが、例年大晦

1. はじめにこんにちは､びしょ〜じょです｡これは ML Advent Calendar 2020 の22日目の記事です｡皆さんは大晦日ですか? 私は22日にいます｡さて話は OCaml 4.08

こんにちは、 whywrite.it whywaita班のwhywaitaです。 この記事はwhywaita Advent Calendar 2020 25日目の記事です。 さて、今年もwhywait

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

はじめにこんにちは､びしょ～じょです｡さて前回発作が出ちゃってコルーチンの話したんですが､発作に次ぐ発作でコルーチンを持つ体系を考えて実装していきます｡コンセプト今回はコルーチン以外興味ないね(クラ

1. はじめにこんにちは､びしょ～じょです｡コルーチンの話したい発作が出たんで､やらせてください｡2. おさらいさて､お手元の『n月刊ラムダノートVo.1, No.1』を参照いただきたいんですが､

こんにちは､びしょ～じょです｡これは TypeScript アドベントカレンダー 2020 の3日目の記事です｡ちなみに12月3日は冴草きいちゃんの誕生日です｡大変めでたいですね｡1. はじめに関

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

事象なんか会社の テックブログ的な存在の証明書が切れた？？.@herp_inc https://t.co/PTPR2HARfi の証明書の有効期限が切れています— 青木華絵 (@a

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

こんにちは､びしょ〜じょです｡最近は脳を全く使っておらずなんたらかんたら｡Promose の話はなんかムリそうだったので､今度は勘ではなく文献等にあたって実装するかもしれません｡でもそれってオレや

fp-ts-contrib の do notation に代わって、fp-ts 2.8.0 で各種の Monad に追加された bind, bindTo の使い方や意義についてまとめました。

elm-tsという、fp-tsのエコシステムでElm Architectureを実装したフレームワークにおいて、デフォルトで使うことになっているReactの代わりにPreactを使う方法を紹介します。

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

こんにちは。 whywrite.it Kubernetes班のwhywaitaです。 皆さんも一家に一クラスタはKubernetes のクラスタがあると思いますが、永続化ストレージ (Persiste

Rでスクレイピングとテキストマイニングを使って、1961年に放送が始まり59年目を迎える朝ドラのこれまでのタイトルを分析してみました。なお、いつもギリギリに起きるタイプだったので朝ドラはほとんど観たこ

デザイナーがJavaScriptについてこれ知っといた方が良さそう、これ知っておきたかったーと思った最初の1歩をまとめました。(こんなことも知らんかったんかいと突っ込まれそうですがせっかくなので公開し

1. はじめにこんにちは､びしょ〜じょです｡前回はPromiseの実装に失敗していることが明らかになりました｡そこで今回は､Promiseの実装に必要となる継続モナドの導入をします｡2. 継続?

1. はじめにこんにちは､びしょ〜じょです｡“日刊"ですが昨日は神絵師活動のためお休みをいただいたため､ほぼ日になってしまいました｡今回は､前回の課題であったsetTimeoutがなんかおかしいのを

1. はじめにこんにちは､びしょ〜じょです｡昨日の続きから､とりあえず評価器を実装します｡statement-basedの言語を実装したことがあまりないので､とりあえずPromiseのことを考え

1. はじめにこんにちは､びしょ〜じょです｡最近は神絵師になってしまいプログラマ性が薄れてきてマズいので手慣らしになんかやろうと思ってゴールデンウィークなんで脳をしっかり使える知育玩具ということでP

緊急事態宣言が出て、リモートワーク中のみなさん！自宅とはいえミーティングなどがあると、顔を映さないのは表情が見えずコミュニケーション面で難があるので「メイクしなきゃ…」ってなりますよね…（私はなる）続

こんにちは、Design College 運営の7です！デザインカレッジオフ会#3のイベントレポートを書かせていただきます！デザインカレッジオフ会とは？続きをみる

実行に必要なファイルだけをうまく集めれば、静的リンクせずとも小さなDockerイメージを作ることができます。本記事では、実行可能ファイルの実行時の依存ファイルを解析して集めるツール magicpak を作ったので、紹介します。magicpak を使うと、ほとんどの実行可能ファイルから静的リンクを用いずに小さなDockerイメージを作ることができます。

最近「論文等の書誌引用データのフォーマットを変換するための SPA をつくった」のですが、Fable という AltJS を使ったので得られた知見を共有しておきます。 Fable

tl; dr表題の通りです。SIST02形式の書誌引用を必要としている人にとってはかなり便利だと思います。スクリーンショットﾊｧ~便利 pic.twitter.com/wiweWF54mH

1. はじめに最近のエフェクトシステム2大ホットトピックといえばAlgebraic EffectsとExtensible Effectsだろう [要出典]｡度々この2つの違いは何なのかという質問を見ま

tl; drTypeORMで Entity を定義する際、日付時刻 (datetime) ではなく 日付 (date) を格納したいと考えている場合はこの記事のことを思い出してください。Type

Preface When working on an OSS project, knowing its CI works is quite important so that contributors

株式会社HERPでデザイナーをしているオオカワラです。「HERP Hire」という採用プラットフォームを作っています。toB SaaS領域でのデザインであり、どういうことをしているかなかなか表になりづ

こんにちは､びしょ〜じょです｡気づけば2020年になってました｡2020年ってなんだ? SFですか?1. はじめに - Algebraic Effectsおさらい本日はshallow effect

本日、HERPではデザイナー向けの採用資料を公開しました。この資料で今までHERPのことをデザインという切り口でよく知らなかった方々にはいろいろ伝わるのかなと感じています。 続きをみる

こんにちは。whywrite.it Advent Calendar班のwhywaitaです。 この記事はwhywaita Advent Calendar 2019 25日目の記事です。 皆さま、本当に

本記事では型クラスを導入する動機をオーバーローディングの観点から紹介した後、Wadlerの型クラスを発展させたJonesのconstructor classをベースにした本記事独自の体系の形式化を試みる。

cccは、自分がセキュリティ・キャンプ2019に参加した際に開発したコンパイラだ。C11のサブセットをコンパイルする事ができ、暗黙の型変換や初期化子、宣言子に代表される複雑な言語機能を規格に忠実に実装している。さて、cccは効率の良いコードに効率よくコンパイルすることをテーマに開発を行った。そのテーマのもと、出力コードの効率を高めるためにcccに実装した技術についてこの記事では説明する。最後にベンチマークの結果を示し、実装の効果を確かめる。

こんにちは､びしょ〜じょです｡これは型Advent Calendar 2019の9日目の記事の記事です｡空いてるので9日目にタイムスリップして前日に続いて記事を突っ込みました｡実際の記事はこちら:

こんにちは､びしょ〜じょです｡これは言語実装Advent Calendar 2019の15日目の記事の記事です｡実際の記事はこちら: その言語､定義されてますか(pdf)LaTeX記法をバ

はじめにこれは前回の続きであり､型 Advent Calendar 2019の8日目の記事で､触れられなかった多相なエフェクトについてです｡一瞬出てきた多相なエフェクトの例を見てみましょう

はじめにこれはRuby advent calendar 2019の7日目の記事です｡こんにちは､びしょ～じょです｡Ruby全然書かないけどふとした理由でRubyのライブラリを作りました｡そ

abstStatic Named Directoryの話をします。historyに../../とかが入って嫌な人は解決する可能性があります。困りおおよそのケースでcwdに依存したビルドは開

2019年 9月 4日、EKSにIAM Roles for Service Accountsの機能が追加されました！このアップデートにより、Kubernetesのサービスアカウントと、AWSのIA

もともとリモートで働いていたのですが、東京に呼んでいただいて二週間東京勤務をしました。インターンをに全部落ちて辛かった時期なので呼んでいただけてとても嬉しかったです:bow:herp.co.jp

こんにちは。whywrite.it 出版班のwhywaitaです。 09/22 に開催される技術書典7にてKubernetesを用いたモダン開発環境についての本を出します。 頒布場所は「お13C てっ

こんにちは､びしょ〜じょです｡さて､Koka言語というものがある｡そして主要な処理系にkokaがある｡kokaは主にHaskellで書かれており､REPLはJSが使われている｡この記事はKok

While contributing to Servo, knowing how to test your implementation is important. So, the 2nd episode is all about WPT and how we can test it in Servo.

弊社で社内勉強会をした話を書く

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

I have been developing a more efficient algebraic effects library for Ruby.https://github.com/nymp

ここ最近になって BtoB SaaS の立ち上がりが目覚ましくなってきており、様々なドメインでプロダクトが誕生しています。しかしながらその一方で BtoB SaaS のプロダクト開発ができる、あるいは

はじめにAlgebraic Effectsは計算エフェクトを扱う言語機能である｡エフェクトとハンドラから成り､エフェクトの発生をハンドラが捕捉し､なんらかの値を返してエフェクト発生部分からの計算を

This is a post on how to abuse TypeScript’s type system to write safer code.

The first episode of introducing how to contribute to Servo

FuseBoxというmodule bundlerがイケてるらしいので使ってみた

こんにちは､びしょ〜じょです｡修士中間発表終わったのでもう研究しなくてOK!!!!!!!!1. はじめに突然ですがみなさんエフェクトを発生させていますか｡ところでエフェクトはどこで発生するのでしょう

Open Collectiveを使って業務で使っているOSSライブラリに寄付をした話をする。

序macはappleで連携がiphoneで最高、そう思ってました。ボタン一つでmacからiphoneに通知が送れてほしい。時間のかかる長いコンパイルはtwitterをiphoneでみたい。

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

To store an ordered list in database, the simplest way is to assign a number to each row. However, t

2019/6/14 に AWS Summit Tokyo 2019 day 3 に行ってきました。雑に感想とかを書きます。備えあれば憂いなし！AWS上のシステム本番稼働前に必ずチェックしたい4つ

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

はじめにこんにちは､びしょ〜じょです｡ScalaMatsuri2019にいってきました｡Scalaはちょっとしか書いてないうえにだいぶ前ですが､論文やコードはぼちぼち読んでるので興味は依然としてだ

はじめにOCaml 4.08よりbinding operatorというものが追加されました｡8.24 Binding operators簡単にいうとこんなかんじ(* val ( let

こんにちは､びしょ〜じょです｡なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…｡技術書典64月の話なんですが5月にやっていいですか｡やります｡典5に続いてDragon

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

こんにちは。whywrite.it Linux班のwhywaitaです。 大学入学時にMacBookAir (2012)を購入し、それ以降は金銭的な理由でラップトップマシンを買い換えることがかなってま

I had a few questions about Haskell at work, and now I've been (sort of[1]) writing Haskell at work

1. はじめにqmk_firmware(以降qmkと省略)といえば最近の自作キーボードにおけるファームウェアの主流ですね｡ちょっとしたことなら簡単にできますが､少し踏み込んだことをやろうとすると

エンジニアとデザイナーが互いにプロダクト開発をしやすくするためにデザインガイドライン(あるいは拡張してデザインシステム)を作ることがあります。いま私がデザインしているプロダクトであるHERP ATSで

こんにちは､びしょ〜じょです｡気づいたら1月も終わりますね｡お前も俺も､もう終わりだ｡1. はじめに研究ではコルーチンを使っている｡ここでひとつコルーチンについてまとめておきたい｡特にstac

1以前はAtomとNuclidを使っていたんだけどこの前の初期化の際にVSCodeにしてから設定していなかったのでしようとした今の設定は以下のようになっていてgithub.com使おう

1fp-tsにはFree Monadを使っていきたいと思います。Free Monadに関する説明は今回は省きます。Free Monadと書いていますが、実はFreerMonadという感じが

1winstonjsありますよね。jsのlogライブラリ。github.comBuckleScriptから使いたくなりません？というわけで、作りながら書いていきます。今回は作る過程

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

デザイナーとエンジニアがお互いに深くコミュニケーションを取ってスムーズに開発できている状態を「なめらか」と呼んでいるのですが(さっき考えました)、そんななめらかな開発をするために必要な開発知識っていろ

1puppeteerのhttps://github.com/GoogleChrome/puppeteer/blob/master/lib/Launcher.jsをながめていたら案外雑にch

こんにちは､びしょ〜じょです｡これは言語実装Advent Calendar 2018の9日目の記事です｡最初は “変数が全部箱の言語の設計と実装” と題して全部optionにくるまれてる参照とかそ

1ここ最近の自由研究としてbucklescript、厳密にはbs-platform自体をnixでbuildしようとてしました。大変な部分もあって難航したが、一旦なんとかなったっぽいので公開しま

概要darwin向けのclamavがnixpkgsにないのでnixファイルを作りながらやっていきます。手法nixpkgsのfileを見ます。nixpkgs/default.nix at

こんにちは､びしょ〜じょです｡これはWORDIAN Advent Calendar 2018の2日目の記事です｡12月2日といえば､翌3日は冴草きいちゃんの誕生日ですね!!!!!!!!!!!めで

こんにちは､びしょ〜じょです｡1. はじめにさて､最近は多値に関する議論がホットだったようです｡ホットスポットはこちらの様子｡多値について本気で考えてみた - ぐるぐる～なるほど｡こちらも

ReactのHooksが実質algebraic effectsなんじゃないかということでalgebraic effectsに関する怪文書が流布して鼻白んでしまう､そんな未来を阻止するため､曲がりなりに

1そういえばOSをmojaveにあげるついでに、macをクリーンインストールした。そしてこの前誕生日を迎え29歳になった。平成最後の冬、そして20代最後の冬。定期的にmacをクリスコ（以下ク

エンジニアにわざわざ細かいCSSの修正や文言修正を依頼するのは全体の開発効率を考えるとあまり良いことではないと私は思っています。実装されたものに対して「あ、これちょっと違う...」というとき、ディレク

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

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

最近ゼロからポートフォリオを作ろうと思っていざデザインができてから実装しようとなったとき、快適な環境を作ってデプロイするところまでの方法を私はちゃんと知らないということに気付きました。そしてググっ

I like Haskell and Purescript, and I love telling people how safe they are. However, they are not perfect, there are still unsafe aspects and I have to be honest about them. "If it compiles, it works" isn't always true.

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

数日前，@staltz 氏から Cycle React のリリースがアナウンスされた．@cycle/react を含む一連のライブラリ群は，React component を Cycle.js の中で用いることを可能にし，Cycle.js の component を React の中で用いることを可能にする．

「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．

operational (あるいは freer) と呼ばれているものの説明として，a) Coyoneda を使うと，kind が * -> * であるような任意の型から functor を作り出せる任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる

今年の2月からはじめたDailyUIですが、先日ついに100日目まで完走することができました。メールで送られてくるお題に対して毎日(平日のみ)UIを作り続けるという取り組みであるこのDailyUI、T

はじめに こんにちは。kubernetes班のwhywaitaです。皆さんkubernetesやっていますか？ kubernetes を使う場合、アプリケーションをデプロイする際にミドルウェアの管理に

Template Haskell を使って，時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った．

たまには初学者向けにライトな話題を．対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが，あまり綺麗に書けている気がしない

I was chatting with friends about types. It seems that "type" means so many different things in different programming languages, "type safe" does not really mean anything without context. So here is this blog post, of me trying to explain what do I think about types, and how it helps us to program.

正直なところこの半年ほどの開発を遡るにあたり、要件やワイヤーをもとにUIを組んでみていざエンジニアに実装お願いします！と依頼してからシュッとそのままOKが出ることはあまりありませんでした(最近はどうだろう)。

Adobeからサブスクリプションのフォントライブラリとして提供されている「Adobe Typekit」ですが、Adobe Creative Cloudを契約している人はサービスとして含まれているので利用している方も多いのではないでしょうか(特にデザイナー)。

はじめまして。furukaw と申します。 株式会社HERP でエンジニアインターンをしています。HERP は 採用管理ソフト および 採用コンサルティング の会社なのですが、今回はその主要なシステムの部分ではなく、タイトル通り Google Forms と Slack の話です。

2ヶ月半ほど続いているDailyUIですが、ようやく折り返し地点の#050まできました。前回のDailyUIのようにひとつひとつちゃんと解説(感想)をしていこうかとも思ったのですが、かなり冗長になってしまうのとルール上全てが良いクオリティで作れたわけでもないのでピックアップしていきたいと思います。

Kyoto.jsについてみんな〜JS書いてる？？振り返り結構みんなjsを書いてなかった。そもそも自分もk8sのyamlかtfを書いてる。京都には鴨川があるのに、なんで水車が設置されて無くて、なんでドネルケバブが回転していないのか不思議だった。

Few days ago I was working on some API handlers in our server written in Haskell with the framework Yesod. There was a mistake, some secret data was accessible to normal users because we forgot to check the user's type, luckily it's not on production yet.

FunctionalDependencies という GHC 言語拡張がある．Haskell Wiki によると，Functional dependencies are used to constrain the parameters of type classes. と書かれているが，これはどういうことか．

DailyUIというものをはじめました。このサイトにメールアドレスを登録すると毎日(平日のみ)UIデザインのお題が届いて、それを自分なりに解釈してデザインするというチャレンジです。

前回よりはもう少し実用的な例を．Template Haskell を使って，Haskell のコード中に JSON をそのまま埋め込むことができるようにする．また，あらかじめ用意しておいた JSON ファイルをコンパイル時に読み込み，指定したデータ型の値にする．

数ヶ月前に Twitter で，コンパイル時に FizzBuzz を計算して，実行時には計算された文字列を出力をするだけ，というコンパイル時 FizzBuzz を何かの言語でやっているのを見かけた．元ネタは江添さんがC++で書いたものらしい．インスピレーションを受けて，Haskell で書いてはみたが，簡単すぎて全然おもしろくなくなってしまった．

この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です．@ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください．

TypeScript ｱﾖﾖﾝﾖｱﾖﾝﾖｰ のやつ です。 ｱﾖﾝﾖｰつくったひとに 「書いて〜😣」ていわれたので、がんばった。概要TypeORM は EventListner とかと一緒に使わないと結構厳しいTypeScript の機能上仕方ない感もある

This is an article explaining the concept of functor to programmers who are interested in Haskell but not sure how to get started on those abstract ideas.Many articles introduce functional programming with examples of maping, filtering and reduceing arrays, but it feels like it is not very useful except from array manipulation.This post focus on the map concept and try to explain how is it useful in other ways.(This is the 10th post for Haskell Advent Calendar 2017)

Resultexport type Success<T> = { ok: true, result: T,}export type Failure<E> = { ok: false, error: E,}export type Result<T, E> = | Success<T> | Failure<E>

modifyCmodify関数を以下のように定義するfunction modify<T extends object, K extends keyof T>(key: K, f: (old: T[K]) => T[K], struct: T): Tオブジェクトのキーとmapする関数を受け取って、キーに入っている値をMapする関数

概要TypeScript はね、よいよ。はじめにJavaScript を書きたくない人間は多い。 なぜかといえばしんどいからである。だけれども大人はお仕事をしているので、JavaScript で動く何らかを開発しないといけないことがある。

はじめにgit rebase-i と git commit --fixup がハチャメチャ便利なので紹介する。git ってなんやねんという人はすごいエリートの人が書いた記事があるので読んでみて欲しい。この記事を書いた人はめちゃくちゃエリートで、特に何もめでたいことがなくても僕にスシを奢ってくれる人格者だ。明日も僕にスシを奢ってくれるらしい。

最近弊社でも大学生のエンジニアインターンが増えてきて，彼らの成長のために，開発にあたっての知見を効率的に共有する手段を色々と模索している．こういった知見は再利用性も高く，社内に閉じている必要もまったくないので，こうしてブログに書き溜めていくことにしてみようかと思う．第一弾として，端末エミュレータ上でのオペレーションの効率化について記す．

最近、UIデザインをしていく中でClickableな(クリックできる)ボタンのアフォーダンスについて悶々と思考を巡らせてしまいます。「果たしてこのボタンはクリックできるものだと認識してくれるだろうか？」「う〜んギリギリ認識してくれるか…?」という自問自答にはじまり、「そもそもこれボタンに見えるのか？」「ボタンっぽいコンポーネントだけどこの機能の中ではクリックできる(すべき)ところではないんだよな...」などなど思考の沼にはまりながらUIデザインをしています。

先日、動画に突然「熱盛」を表示するとかいうクソChrome拡張を作って公開しました。めっちゃバズって結構インストールしていただけました。うれしい。 やっぱりこういうのは鮮度が大事で、思いついてから公開までを数日にとどめたいところですね。

実現したいこと Terraform の GitHub provider を用いて，issues および pull requests のラベルを管理したい．その際に，いくつかのラベルをひとまとめにしておき，複数のリポジトリが同じラベル群を持つようにしたい．また，module はネストすることもできるが，複雑になるので避けたい．

つい最近、ご縁がありましてBtoB向けのサービスの開発にUIデザイナーでジョインすることになったのですが、BtoB向けのサービスにおけるUIデザインというものがはじめての経験です(しかもスタートアップ、スタートアップでの開発もはじめて)。