1. X
  2. kanarus
Log inSign up
kanarus
10.3K posts
user avatar

kanarus

@kanarus_dev
かなる/NixOS/Rustacean; Ohkami web framework, SQLx-D1, alien-signals-rs, rusty_mujoco/Go, TypeScript/ZennのRustの記事絶対いいねするマン/最近は chibivue land (Discord) にいる
京都大学 工学部 情報学科 B4 (n回目 (まずい))
github.com/kanarus
Joined December 2021
535
Following
685
Followers
RepliesRepliesMediaMedia
  • Pinned
    user avatar
    kanarus
    @kanarus_dev
    Sep 10, 2024
    Now Ohkami is the fastest web framework in Rust ! web-frameworks-benchmark.netlify.app/result --- x.com/kanarus_x/stat…
    Image
    Image
    user avatar
    kanarus
    @kanarus_dev
    Jun 18, 2024
    web-frameworks-benchmark.netlify.app/result?l=rust Ohkami 君、Rust の framework 中2位らしい (?)
  • user avatar
    kanarus
    @kanarus_dev
    Jul 19
    見(⁠๑⁠•⁠﹏⁠•⁠) tokioからフルスタックWebフレームワークtopcoatが出た zenn.dev/hiiraginil/art… > opinionated~全員を喜ばせるつもりはない > 現状は「先に出して使ってもらい、フィードバックを集める」フェーズ > $(...) は~ブラウザ用 JS に変換されて即時再実行~WASM バンドル~不要 !?
    Image
    tokioからフルスタックWebフレームワークtopcoatが出た
    From zenn.dev
  • user avatar
    kanarus
    @kanarus_dev
    Jul 18
    見(⁠๑⁠•⁠﹏⁠•⁠) キャッシュアルゴリズムSIEVEとその変種実装の試作|saka1 zenn.dev/saka1/articles… #zenn
    zenn.dev
    キャッシュアルゴリズムSIEVEとその変種実装の試作
  • user avatar
    kanarus
    @kanarus_dev
    Jul 16
    たぶん元ポストの意図からは逸れる上にあまり詳しくないんですけど、 ちなみにLeanで時相論理を扱うこと自体はできますよね?(浅い埋め込み/深い埋め込み) @ 有識者 --- (元ポストはたぶんTLA+のモデル検査みたいなもので具体的にバグを検出する機能を求めていそう)
    user avatar
    mizchi
    @mizchi
    Jul 16
    Replying to @mizchi
    本当はこれらを一つの言語・ツールでできるようにしたいんだけど... Lean に時相論理入ったようなやつがあればいいかもしれんが、ちょっとやりすぎか
  • user avatar
    kanarus
    @kanarus_dev
    Jul 13
    昼(?)寝した

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement