You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
This version of the site is now archived. See the next version at v5.chriskrycho.com. Edit: fixed some typos, cleaned up implementation a bit based on feedback around the internet. A lightly edited version of this post was syndicated in Hacker Bits, Issue 13. I. Using Rust Instead of Python A friend asked me today about writing a little script to do a simple conversion of the names of some files i
After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust. Formal verification is using mathematical techniques to analyze software. In general, one wants to show that a particular program implements some specification ("functional correctness"). But there are other things you can s
Introducing Reqwest In web development, you can find resource after resource, framework after library, all helping you to build a web server. But what if you need to use a client? So many applications need to download something from the web, or to upload some data, and in many instances are left with the standard HTTP library to do it. That works, but it’s so much better to be able to reach for a
Hello Rustaceans! I'm here to announce Discovery: A book about (programming) embedded systems / microcontrollers aimed at people without previous experience with them. Oh, and the book happens to use Rust as the teaching language rather than the traditional C ;-). This is actually a re-release of the material we used during my embedded workshop at the Rust Belt Rust conference last month. It prett
Haskell's Missing Concurrency Basics Published November 16, 2016 I want to discuss two limitations in standard Haskell libraries around concurrency, and discuss methods of improving the status quo. Overall, Haskell's concurrency story is - in my opinion - the best in class versus any other language I'm aware of, at least for the single-machine use case. The following are two issues that I run into
About TiKV TiKV (The pronunciation is: /’taɪkeɪvi:/ tai-K-V, etymology: titanium) is a distributed Key-Value database which is based on the design of Google Spanner, F1, and HBase, but it is much simpler without dependency on any distributed file system. Architecture Placement Driver (PD): PD is the brain of the TiKV system which manages the metadata about Nodes, Stores, Regions mapping, and makes
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く