Weekly - Week 18 (May 2, 2022) - らりお bookmarks

Daily Weekly Monthly

Weekly Shaarli

All links of one week in a single page.

Week 18 (May 2, 2022)

かわいそうなじーぴーゆー

online-comic

Haskellと余代数(Coalgebra) - 朝日ネット　技術者ブログ

programming math

飛行機はなぜ飛ぶかのかまだ分からない?? - NPO法人知的人材ネットワーク・あいんしゅたいん

「飛行機がなぜ飛ぶか」分からないって本当？：日経ビジネス電子版のより詳細な説明。

science recommended

哲学的視点からの直観主義論理入門 [前編] | Mathlog

後編: 哲学的視点からの直観主義論理入門 [後編] | Mathlog

logic

あなたの次回のライブラリには劣等GPLを使うべきでない理由 - GNUプロジェクト - フリーソフトウェアファウンデーション

software-license

Mastodonを本当に知るために必要な3つのこと｜motcha｜note

distsns

代数的データ型と初等代数学 - blog.ryota-ka.me

programming recommended

vi - Why do Vim experts prefer buffers over tabs? - Stack Overflow

tips vim

フィギュアスケートまんがにおけるジャンプ時のコマ送り表現について。 - 名馬であれば馬のうち

漫画 history