LATEST ARTICLES

Last updated on
December 12, 2018
...
puppeteer.connectを試す
1 puppeteerの https://github.com/GoogleChrome/puppeteer/blob/master/lib/Launcher.js をながめていたら案外雑にch
...
Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装
こんにちは、びしょ〜じょです。 これは言語実装Advent Calendar 2018の9日目の記事です。 最初は “変数が全部箱の言語の設計と実装” と題して全部optionにくるまれてる参照とかそ
...
bucklescript自体をnixでbuild
1 ここ最近の自由研究としてbucklescript、厳密にはbs-platform自体をnixでbuildしようとてしました。 大変な部分もあって難航したが、一旦なんとかなったっぽいので公開しま
...
nixでmacにclamavを入れる
概要 darwin向けのclamavがnixpkgsにないのでnixファイルを作りながらやっていきます。 手法 nixpkgsのfileを見ます。 nixpkgs/default.nix at
...
Lily58による.xmodmapのハードウェア実装
こんにちは、びしょ〜じょです。 これはWORDIAN Advent Calendar 2018の2日目の記事です。 12月2日といえば、翌3日は冴草きいちゃんの誕生日ですね!!!!!!!!!!! めで
...
Lua VMに見る多値の扱い
こんにちは、びしょ〜じょです。 1. はじめに さて、最近は多値に関する議論がホットだったようです。 ホットスポットはこちらの様子。 多値について本気で考えてみた - ぐるぐる~ なるほど。 こちらも
...
セキュリティとアカウント管理と近況
1 そういえばOSをmojaveにあげるついでに、macをクリーンインストールした。 そしてこの前誕生日を迎え29歳になった。平成最後の冬、そして20代最後の冬。 定期的にmacをクリスコ(以下ク
...
初心者に捧げるGit・GitHub入門 for デザイナー&ディレクター 〜コード編集からPull Request&Mergeまで〜
エンジニアにわざわざ細かいCSSの修正や文言修正を依頼するのは全体の開発効率を考えるとあまり良いことではないと私は思っています。実装されたものに対して「あ、これちょっと違う...」というとき、ディレク
...
Dhall v3.0.0 がリリースされた
Dhall v3.0.0 がリリースされた.メイジャーバージョンの更新ということで,いくつかの破壊的変更を含む. Version 3.0.0 of the Dhall standard is out
...
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)
お盆に数日の休みがあったので,Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた.Wittgenstein の著作
...
Pug+Stylusではじめるポートフォリオサイト作成〜環境構築編〜
最近ゼロからポートフォリオを作ろうと思っていざデザインができてから実装しようとなったとき、快適な環境を作ってデプロイするところまでの方法を私はちゃんと知らないということに気付きました。 そしてググっ
...
The unsafe side
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.
...
Dhall で Kubernetes の YAML 管理をスマートにやっていく
こんにちは.Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか?Kubernetes をやっていこうとすると,大量の YAML を書くことになって大変である.大量の YAML を書くことは大変なので,大抵コピペする.コピペをするが,コピペは怖い.
...
@cycle/react を触ってみる
数日前,@staltz 氏から Cycle React のリリースがアナウンスされた.@cycle/react を含む一連のライブラリ群は,React component を Cycle.js の中で用いることを可能にし,Cycle.js の component を React の中で用いることを可能にする.
...
代数的データ型と初等代数学
「関数プログラミングとはなんですか?」と問われたときには「デ,データファースト……(震え声)」と答えることが多いのだが,実際 Haskell や OCaml などの言語を特徴付けるものとして,代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう.
...
Coyoneda って…… お前 functor がデータ構造になっただけやんけ!!
operational (あるいは freer) と呼ばれているものの説明として, a) Coyoneda を使うと,kind が * -> * であるような任意の型から functor を作り出せる 任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる
...
DailyUIを100日間継続してよかった6個のこととアドバイス
今年の2月からはじめたDailyUIですが、先日ついに100日目まで完走することができました。メールで送られてくるお題に対して毎日(平日のみ)UIを作り続けるという取り組みであるこのDailyUI、T
...
kubernetesに自分のコードがマージされるまでのフロー
はじめに こんにちは。kubernetes班のwhywaitaです。皆さんkubernetesやっていますか? kubernetes を使う場合、アプリケーションをデプロイする際にミドルウェアの管理に
...
Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った
Template Haskell を使って,時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った.
...
Maybe と IO を一緒に使いたくなったら
たまには初学者向けにライトな話題を.対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが,あまり綺麗に書けている気がしない