依云的技术资源分享
Open in Telegram
1 374
Subscribers
No data24 hours
+17 days
+430 days
Posts Archive
1 374
https://blog.qutebrowser.org/qutebrowser-moving-to-libera-chat.html #irc #freenode #community
qutebrowser moving to Libera Chat
(空行下的段落是我的评论)
最近「freenode 权力变更」事件已不再仅仅是管理者变更。事件已经波及包括 #archlinux 在内的数量庞大的 FOSS 社区。所有 topic 中包含「libera」的频道均被关闭。「some channels were erroneously included」因此可以重开,但是儿戏般的行动本身就非常令人担忧。
1 374
https://blog.ruo-chen.wang/2021/04/lambda-calculus-from-the-ground-up.html #plt #math #python
上述演讲的文字版整理
1 374
https://github.com/lilydjwg/dotvim/blob/master/plugin/foldtree.vim #vim #linux
让 Vim 折叠 tree、pactree、systemd-cgls 等 ASCII 绘制的树形输出
1 374
https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ #haskell #types #programming_language #software_design
1 374
1 374
https://github.com/actions/toolkit/issues/399 #github #testing #ci #issue
过了这么久,GitHub Actions 还是没有预期中的那么完善。可惜 Travis-CI 也跑不动了。
1 374
https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ #programming_language #types #haskell
