Daily Weekly Monthly

Weekly Shaarli

Previous week
All links of one week in a single page.
Next week

Week 17 (April 25, 2022)

INASOFT 管理人のひとこと - 2022/ 5/ 1 0:00 あれから10年。解決まで1年半かかった連続誤検知事件の振り返りと、現状のご報告、残された課題
thumbnail
history
Counterexamples in Type Systems - Counterexamples in Type Systems
typesystem funny proglang
令和3年度 東京大学卒業式 総長告辞 | 東京大学
thumbnail
speech