タグ

2021年8月25日のブックマーク (4件)

  • 【Amazon】予算10万円で椅子を選ぶなら|kargo かるご / ErgoHealth

    みなさん、こんにちは。 人間工学準専門家 ErgoHealth 代表の かるご です。 比較的よく聞かれるのがこのタイトル 「10万円以下で良い椅子ありますか」 それであれば私のこれまでの経験から早速オススメを記載してみましょう。 結論正直2択です。 「セイルチェア」 か 「エルゴヒューマンプロ」です。 説明まず10万円という予算感がどの程度のものかお伝えしましょう オフィスチェア(新品)のなかで言うならば、ミドルクラスです。 10万円の椅子って高くない!?と良く言われますが、オフィスチェア界隈では実はど真ん中。基的にBtoBを想定していますからね。ToC向けには高く感じて当たり前かもしれません。 国内・海外問わず、最も選択肢が豊富なクラスですが、個人的にはユースケースによって2択ではないかなと思います。 それは前傾を重視するか、後傾を重視するかです。 前傾の場合がセイルチェア、後傾の場

    【Amazon】予算10万円で椅子を選ぶなら|kargo かるご / ErgoHealth
    mizchi
    mizchi 2021/08/25
    いい記事
  • Home

    Close-to-the-metal architecture handles millions of OPS with predictable single-digit millisecond latencies. Learn More

    Home
    mizchi
    mizchi 2021/08/25
  • SAT/SMTソルバの仕組み

    Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。

    SAT/SMTソルバの仕組み
    mizchi
    mizchi 2021/08/25
  • bincr, 世界一簡単な incremental build tool

    依存を解析しつつのインクリメンタルビルド、各コンパイラについてたりついてなかったりするんですが、どのビルド環境にもほしいですよね。 真面目にやるんだったら bazel が鉄板みたいなんですが、基的に超大規模向けでエコシステムのいろんな都合でセットアップが非常にだるいです。後付の導入も結構だるいです。 Bazel - a fast, scalable, multi-language and extensible build system" - Bazel というわけで、今回は自分が欲しい機能、「ソースのハッシュが過去のものと違う場合にビルドを実行」という機能に特化して作りました。逆にいえば他はなにもないです。依存解析も環境ごとの最適化もないです。 npm が入ってれば npm i -g bincr or npx bincr ... で実行可能です。特に node の機能を前提にしてないので

    bincr, 世界一簡単な incremental build tool
    mizchi
    mizchi 2021/08/25
    書いた。作った