chore(deps): lock file maintenance · terlar/emacs-config@1ae7322 GNU Emacs configuration. Contribute to terlar/emacs-config development by creating an account on GitHub.

One of the very few users of my project, Terje Larsen, helped prevent the attack by catching it through a CI build failure:
github.com/terlar/emacs...

github.com/emacs-twist/... supports reviewing diffs in the Nix flake lock file, when configured properly. The project has been in an alpha state for four years, allowing catch-up of other ecosystems like package.el. The security issue is now real.

Emacs Twist Reproducible package and configuration management for Emacs - Emacs Twist

My project github.com/emacs-twist has been an early attempt to address this security risk. It tracks the individual sources of Emacs Lisp packages, and you are forced to update the lock file before you actually install them using the standard toolchain of Nix flakes.

From the emacs community on Reddit: First (?) hacked Emacs package Explore this post and more from the emacs community

www.reddit.com/r/emacs/comm...
The community responses to the first known attack to an Emacs Lisp package repository.

なるほど、大学は卒業したら終わりではなく、卒業生にもサービスを提供しているんですね。京都は観光客が殺到して宿泊施設の値段が暴騰しているようですが、京大のあたりの住居はそれほどでもないかもしれません。でないと学生が生活できませんし。

有効な学生証がないと入れなくないですか？だいぶ昔ですが、附属図書館は休学期間中は入れませんでしたよ。学部に入り直せば4留で8年間利用できますが。

Google のNotebookLM でドキュメントの要約ができますよ。ChatGPTやcodexでもできるかもしれませんが。要約させてみて、既知の内容だったら飛ばしてよいのでは。

必要なのはHaskellではなく型理論の知識でしょうね。TaPLという本が有名です

10 dying or 'dead' programming languages | TechTarget What's a dead programming language, and how does it die? Explore 10 dying or dead programming languages and the reasoning behind their categorization.

アプリケーション実装言語としての実用性なら、Erlang VM 系の言語（Elixirとか）か、TypeScript でもやっておけばいいんじゃないかと思いますが、言語としての学びはあまりないと思います。
Haskell が実用的かというと、もちろんLeanよりは成熟していますが、TIOBE Indexでの相対的な人気は近年下降し続けています。サーバーサイド言語とてRust の代わりに選ばれるのは難しいかと。
Leanをおすすめしたのは、Haskell よりは話題性・伸びしろがあります。形式手法（TLA+とか）は分散システムで重要度を増しているので抑えておくといいのでは。

今ならHaskellよりはLean 4ですね。定理証明系の中で現在最も活発に開発されています。
なぜ証明が重要かというのは以下の記事にあります（Idrisも定理証明系の一つです）
kevinmahoney.co.uk/articles/tes...

社会人になってから始めた、経歴の浅い趣味登山者かもしれません。競技ではなく趣味としての登山は、高給取りの間で人気です。会社によっては社内行事にもあります。夏季休暇期間中に非日常を満喫しようとしたのでしょう。

GitHub - akirak/late-stack: A personal website built with Effect and TanStack A personal website built with Effect and TanStack. Contribute to akirak/late-stack development by creating an account on GitHub.

I have rebuilt my website with TanStack Start + Effect: jingsi.space/posts/en/sta...
I'll call this the LATE Stack (Lightning CSS, React Aria, TanStack Start, and Effect), because it's late.
github.com/akirak/late-...