Google Groups has been left to die
Where should the formal methods community move? Posted on March 8, 2023 | Andrew Helwer An unusual topic for this blog, but worth boosting to a larger audience: Google Groups is dying. Its epitaph is not yet inscribed on the Killed by Google website, but the end is easily seen from here (although it should also be noted its death was called as early as 13 years ago). The deficiencies in Google Gr
What killed Haskell, could kill Rust, too
What_killed_Haskell_could_kill_Rust.md At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again. What killed Haskell, could kill Rust, too What killed Haskell, could kill Rust, too. Why wo
Why I'm leaving Elm
Over the past year or so, I've reluctantly come to the conclusion I need to leave Elm and migrate to some other language (most likely Bucklescript via philip2), and I definitely cannot recommend it to anyone else. This post is about my reasons for that, which are mostly about the way in which the leadership behave. I'm not going to talk about the good points of Elm as a technology. You can read th
Why I'm not collaborating with Kenneth Reitz — njs blog
[Content Warning: parts of this post could be triggering for those who have experienced gaslighting or other forms of abuse] Kenneth Reitz is a famous Python developer, best-known for founding the Requests project. Until a few years ago, I'd never interacted with him in any serious way, but I thought highly of him. I appreciated (and still appreciate) his design taste, and emphasis on usability an
Node.js と io.js の統合は最終局面へ - from scratch
いくつかこの何日間でニュースが出ているので紹介します。 ちなみに、 io.js と Node.js のニュースに関してはこれまで２つ書いたので、まだ良く知らない人はそれをまずはご一読ください。 yosuke-furukawa.hatenablog.com yosuke-furukawa.hatenablog.com さて、次の展開へ、という事でいくつか話があります。 「Join the Node Foundation?」 というissueが mikeal から提案される github.com issue 本文を翻訳したものを貼っておきます。 Node Foundationのためのすべての文書が揃った。 TSC Charter (技術委員会の目的) Development Policy(開発ポリシー) Convergence Plan(移行プラン) Project Lifecyle (Wor
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
日本のEmacsユーザーのためのハブサイト
Emacs JPはEmacsと日本語に関わるあらゆるリソースを集約することを目的としたコミュニティサイトです。 EmacsとEmacs JPについての詳細はこのサイトについてをご覧ください。 コンテンツ 2020年代のEmacs入門 Emacs JPで管理しているパッケージ Emacsのバージョン パッケージ紹介 最近10記事 ddskk-posframe: ddskkツールチップposframeフロントエンド cort: シンプルなテストフレームワーク package: パッケージ管理ツール git-gutter: GitGutterの Emacs版 evil: Vimのエミュレート helm-open-github: Githubユーティリティ elisp-slime-nav: Slime-style navigation for Emacs Lisp ac-ispell: ispel
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Deleting the golang subreddit | Hacker News
Blog: Rethinking GHC's approach to managing proposals – GHC
Refining Rust's RFCs · Aaron Turon