Bourbaki – A Secret Society of Mathematicians
https://books.google.com/books/about/Bourbaki.html
#ReadItLater

About
Show HN: Envoy – Command Logger
https://github.com/heyyviv/envoy
#ReadItLater
Spiped – secure pipe for SSH, SMTP, etc.
https://www.tarsnap.com/spiped.html
#ReadItLater
Performance Speed Limits
https://travisdowns.github.io/blog/2019/06/11/speed-limits.html
#ReadItLater
Building your own CLI coding agent with Pydantic-AI
https://martinfowler.com/articles/build-own-coding-agent.html
#ReadItLater
The Lobster Programming Language
https://www.strlen.com/lobster/
#ReadItLater
Mosh Mobile Shell
https://mosh.org/
#ReadItLater
LM Studio(ローカルLLM)からgpt-ossでWeb検索のMCPが使えるように設定する - Qiita
https://qiita.com/2f0833e717/items/cc0043a83febf683378d
#ReadItLater
AIプログラムの開発演習に使う低消費リソースローカルLLMはQwen3 1.7B Q4がベスト - きしだのHatena
https://nowokay.hatenablog.com/entry/2025/08/30/104903
#ReadItLater