Viewing profile — shadaj

You might enjoy my first ever blog post from ~10 years ago, when I first learned about distributed systems: https://www.shadaj.me/writing/romeo-juliet-and-reactive-prog...

You caught me! That's what my next post is about :)

Erlang (is great but) is still much closer to the static-location (Actors) paradigm than what I’m aspiring for. For example, if you have stateful calculations, they are typically i…

Stay tuned for the next blog post for one potential answer :) My PhD has been focused on this gap!

You caught us in our docs-writing week :) In the meantime, the Rustdoc for streams are fairly complete: https://hydro.run/rustdoc/hydro_lang/stream/struct.Stream

Flo lead-author here! This is spot on :) Flo aims to be a bit less opinionated than Timely in how the runtime should behave, so in particular we don't support the type of "time-tra…

Currently, Hydro is focused on networked applications, where most parallelism is across machines rather than within them. So there is some extra overhead if you want single-machine…

These code examples aren't fully documented yet (which is why we've not linked them in the documentation), but you can take a look at a (more-real) implementation of Paxos here: ht…

Hi, I'm one of the PhD students leading the work on Hydro! DFIR is more of a middle-layer DSL that allows us (the high-level language developers) to re-structure your Rust code to …

PyO3 is the library that enables Python Rust bindings, Maturin is a build tool for packaging PyO3 Rust libraries (which export Python APIs) as Python packages!

In principle, yes, you can use the `rust-sitter-tool` crate to generate the Tree Sitter JSON definition and then compile it to a standalone parser. The grammar is auto-generated th…

Not yet, but this is something I've been investigating. The general plan is to have safe Rust bindings to the underlying Tree Sitter APIs used by custom scanners, and then have the…

Yeah, definitely agree on WebAssembly! We have https://github.com/shadaj/tree-sitter-c2rust for running Tree Sitter on WASM via Rust, but definitely more potential in that directio…

We support optional elements by wrapping them in `Option ` (other annotations are applied to the contents of the option)! So you can define struct ... { ... #[rust_sitter::leaf(tex…

Yes! Right now, the main benefits are the ability to write grammar definitions that are quite close to the ideal AST structure (made possible by Tree Sitter's grammar format), and …

Hi! Rust Sitter creator here, happy to answer any questions about the project and where it's going!

Katara author here, you're right! Katara is built on Metalift ( https://github.com/metalift/metalift ), which is a general purpose framework we've been building at Berkeley to abst…