Explore >> Select a destination
|
You are here 
|
blog.kerollmops.com | ||
| | | | |
www.bazhenov.me
|
|
| | | | | Introduction Link to heading Varint is a widely recognized technique used for compressing integer streams. Essentially, it suggests that it can be more efficient to encode a number using a variable-length representation instead of a fixed-size binary representation. By removing leading zeros from the binary number, the overall representation size can be reduced. This technique works particularly well for encoding smaller numbers. In this article, I provide a brief introduction and rationale for varint encoding. Additionally, I describe the Stream VByte format, which enables fully vectorized decoding through SSSE3 instructions. I also share my findings from implementing this algorithm in Rust, which includes both encoding and decoding primitives and the ability to read data from both RAM and disk. | |
| | | | |
adventures.michaelfbryan.com
|
|
| | | | | A while ago someone posted a question on the Rust User Forums asking how to achieve polymorphism in a C API and while lots of good suggestions were made, Id like to explore my take on things. As a recap, Rust provides two mechanisms for letting you write code which will work with multiple types. These are Static Dispatch, where the compiler will generate multiple copies of the function, tailor-made for each type and resolved at compile time, and Dynamic Dispatch, where we use an extra level of indirectio... | |
| | | | |
nomad.foo
|
|
| | | | | A deep dive into the theoretical framework and the technical implementation of a text CRDT. | |
| | | | |
ahelwer.ca
|
|
| | | Tractable modeling of replicated logs & CRDTs | ||
