@epicism.bsky.social
Reposted
www.hillelwayne.com/post/modelin... - usual great stuff from @hillelwayne.com
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
April 27, 2025 at 10:46 AM
www.hillelwayne.com/post/modelin... - usual great stuff from @hillelwayne.com
Reposted
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...
dieterplex.github.io/rust-ebooksh...
The Rust Language & Ecosystem - The Rust eBookshelf
dieterplex.github.io
April 16, 2025 at 8:50 AM
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...
dieterplex.github.io/rust-ebooksh...
@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.
March 8, 2025 at 6:14 PM
@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.
Reposted
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
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
February 17, 2025 at 9:39 AM
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
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
Reposted
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...
Apache DataFusion is now the fastest single node engine for querying Apache Parquet files
<!–
datafusion.apache.org
November 23, 2024 at 12:10 AM
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...
Reposted
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...
Building InfluxDB 3.0 with the FDAP Stack: Apache Flight, DataFusion, Arrow and Parquet (Paul Dix)
YouTube video by CMU Database Group
www.youtube.com
November 16, 2024 at 7:04 PM
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...