Pinnedkanarus@kanarus_devSep 10, 2024Now Ohkami is the fastest web framework in Rust ! web-frameworks-benchmark.netlify.app/result --- x.com/kanarus_x/stat…kanarus@kanarus_devJun 18, 2024web-frameworks-benchmark.netlify.app/result?l=rust Ohkami 君、Rust の framework 中2位らしい (?)133012K
kanarus@kanarus_devJun 18, 2024web-frameworks-benchmark.netlify.app/result?l=rust Ohkami 君、Rust の framework 中2位らしい (?)
kanarus@kanarus_devJul 19見(๑•﹏•) tokioからフルスタックWebフレームワークtopcoatが出た zenn.dev/hiiraginil/art… > opinionated~全員を喜ばせるつもりはない > 現状は「先に出して使ってもらい、フィードバックを集める」フェーズ > $(...) は~ブラウザ用 JS に変換されて即時再実行~WASM バンドル~不要 !?tokioからフルスタックWebフレームワークtopcoatが出たFrom zenn.dev210350
kanarus@kanarus_devJul 18見(๑•﹏•) キャッシュアルゴリズムSIEVEとその変種実装の試作|saka1 zenn.dev/saka1/articles… #zennzenn.devキャッシュアルゴリズムSIEVEとその変種実装の試作2145
kanarus@kanarus_devJul 16たぶん元ポストの意図からは逸れる上にあまり詳しくないんですけど、 ちなみにLeanで時相論理を扱うこと自体はできますよね?(浅い埋め込み/深い埋め込み) @ 有識者 --- (元ポストはたぶんTLA+のモデル検査みたいなもので具体的にバグを検出する機能を求めていそう)mizchi@mizchiJul 16Replying to @mizchi本当はこれらを一つの言語・ツールでできるようにしたいんだけど... Lean に時相論理入ったようなやつがあればいいかもしれんが、ちょっとやりすぎか1234
mizchi@mizchiJul 16Replying to @mizchi本当はこれらを一つの言語・ツールでできるようにしたいんだけど... Lean に時相論理入ったようなやつがあればいいかもしれんが、ちょっとやりすぎか