InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architects. View an example
![Cloudflare Hyperdrive: Access PostgreSQL Databases Globally](https://cdn-ak-scissors.b.st-hatena.com/image/square/20bbf34909c654921cfc9a290cf56bdc69002453/height=288;version=1;width=512/https%3A%2F%2Fres.infoq.com%2Fnews%2F2023%2F10%2Fcloudflare-hyperdrive-postgres%2Fen%2Fheaderimage%2FgeneratedHeaderImage-1696263742768.jpg)
Last week during a casual conversation I overheard a colleague saying: "The Linux network stack is slow! You can't expect it to do more than 50 thousand packets per second per core!" That got me thinking. While I agree that 50kpps per core is probably the limit for any practical application, what is the Linux networking stack capable of? Let's rephrase that to make it more fun: On Linux, how hard
定理証明支援系とは、数学の定理証明を支援するソフトウェアのこと。数学者のツールとして、そしてソフトウェア開発のツールとして、近年注目を集めています。 直近では、「Proof Summit 2019」というイベントも開催されます。募集を開始して早々に席が埋まってしまったとのことで、関心の高さがわかります。https://proof-summit.connpass.com/event/141191/ 2018年4月に発行された、『Coq/SSReflect/MathCompによる定理証明』(萩原学、アフェルト・レナルド著)は、定理証明支援系の代表格であるCoqとその拡張言語SSReflect/MathCompの初となる解説書です。以下に、同書の第1章から抜粋します。「定理証明支援系って何?」「何ができるの?」ということに興味がある方は、ぜひご一読ください。 *** Coq/SSReflect/
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く