shadaj

5 ms·

1.
Coding Agents Meet Distributed Reality(jhellerstein.github.io)
3 points by shadaj 7mo ago|0 comments
2.
Formally Verifying PBS Kids with Lean4(shadaj.me)
68 points by shadaj 8mo ago|5 comments
3.
GitHub pins all Rust users to an old version, claiming a breaking change(github.com)
1 points by shadaj 1y ago|0 comments
4.
by shadaj 2y ago
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...
5.
by shadaj 2y ago
You caught me! That's what my next post is about :)
6.
by shadaj 2y ago
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 implemented as isolated (static-location) loops that aren’t t
7.
by shadaj 2y ago
Stay tuned for the next blog post for one potential answer :) My PhD has been focused on this gap!
8.
Distributed systems programming has stalled(shadaj.me)
287 points by shadaj 2y ago|217 comments
9.
by shadaj 2y ago
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
10.
by shadaj 2y ago
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-traveling" computation that Timely needs when yo
11.
by shadaj 2y ago
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 parallelism. It's something we definitely want to addr
12.
by shadaj 2y ago
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: https://github.com/hydro-project&#x2
13.
by shadaj 2y ago
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 make it more amenable to low-level optimizations like
14.
SF Systems Club(sfsystemsclub.com)
3 points by shadaj 2y ago|0 comments
15.
A Query Compiler, GraphQL Server, and Postgres in the Browser(exograph.dev)
2 points by shadaj 2y ago|0 comments
16.
by shadaj 3y ago
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!
17.
by shadaj 4y ago
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 though so it may be a bit trickier to integrate into other t
18.
by shadaj 4y ago
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 Rust Sitter proc macro expose a Rust scanner as an `ex
19.
by shadaj 4y ago
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 direction. And very much agree on the error st
20.
by shadaj 4y ago
We support optional elements by wrapping them in `Option<T>` (other annotations are applied to the contents of the option)! So you can define struct ... { ... #[rust_sitter::leaf(text = ",") _dangling_comma:
21.
by shadaj 4y ago
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 being able to embed the parser in many different applic
22.
by shadaj 4y ago
Hi! Rust Sitter creator here, happy to answer any questions about the project and where it's going!
23.
by shadaj 4y ago
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 abstract away the logic of analyzi
24.
Katara: Synthesize CRDTs from Sequential Types(github.com)
3 points by shadaj 4y ago|0 comments
25.
Rust Sitter – write fast Tree Sitter parsers without leaving Rust(shadaj.me)
10 points by shadaj 4y ago|2 comments
26.
ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala(github.com)
1 points by shadaj 8y ago|0 comments
27.
Tutorial: GraphQL Subscriptions on the Server(dev-blog.apollodata.com)
1 points by shadaj 9y ago|0 comments
28.
by shadaj 10y ago
Hi there! ScalaPy is heavily influenced by Scala.js, especially features like static facades which have a similar purpose in both places. I'm hoping to bring even more features inspired by Scala.js, such as a py.native for facade metho
29.
TensorFlow in Scala with ScalaPy(blog.shadaj.me)
4 points by shadaj 10y ago|2 comments