Advertisement Β· 728 Γ— 90

Posts by

Modeling Zero-Downtime Deployments with TLA+ I’m working on some examples for my TLA+ guide and realized this one would be a good introduction to specification in general, so I simplified it a little to make it more accessible. Enjoy! The proble...

www.hillelwayne.com/post/modelin... - usual great stuff from @hillelwayne.com

11 months ago 6 3 0 0

This was a lot of fun!

11 months ago 2 0 1 0
The Rust Language & Ecosystem - The Rust eBookshelf

For those learning or refreshing their knowledge about #rustlang who enjoy reading on their e-reader, here's a list of freely available books in ePub format, including "The Rust Programming Language":

dieterplex.github.io/rust-ebooksh...

1 year ago 9 4 0 0

@krisajenkins.bsky.social fyi πŸ™‚

1 year ago 1 0 1 0
Comparing Rust Actor Libraries: Actix, Coerce, Kameo, Ractor, and Xtra | Ari Seyhun A Comprehensive Performance and Feature Comparison of Five Leading Rust Actor Libraries.

Here's a decent comparison. It is written by the author of one of the frameworks, so make sure that the tests match your use case: tqwewe.com/blog/compari...

1 year ago 1 0 0 0

@krisajenkins.bsky.social I'm loving Developer Voices. An interesting project might be Apache DataFusion, specifically @andygrove.io and @andrewlamb1111.bsky.social could be interesting.

1 year ago 1 0 3 0
Video

Inspecting flamegraphs is a pain - dealing with SVG files, opening a browser… ugh.

Not anymore!

πŸ”Ž flamelens β€” An interactive flamegraph viewer for the terminal.

πŸ¦€ Written in Rust & built with @ratatui.rs

⭐ GitHub: github.com/YS-L/flamelens

#rustlang #ratatui #tui #flamegraph #profiling

1 year ago 91 18 2 1
Apache DataFusion is now the fastest single node engine for querying Apache Parquet files <!–

Congrats to @andrewlamb1111.bsky.social and the DataFusion contributors on making DataFusion the fastest engine for querying Parquet data! datafusion.apache.org/blog/2024/11...

1 year ago 24 3 1 0
Building InfluxDB 3.0 with the FDAP Stack: Apache Flight, DataFusion, Arrow and Parquet (Paul Dix)
Building InfluxDB 3.0 with the FDAP Stack: Apache Flight, DataFusion, Arrow and Parquet (Paul Dix) YouTube video by CMU Database Group

My CMU talk on using the #FDAP stack to build #InfluxDB 3.0 is up! It starts off with some intro to the problem space, but then gets into some of our database journey, how we use DataFusion, and a bit about the upcoming open source architecture: www.youtube.com/watch?v=AGS4...

1 year ago 22 6 1 0