sbenitez

6 ms·

1.
by sbenitez 5mo ago
Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity We're building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. Th
2.
by sbenitez 10mo ago
Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity We’re [0] rethinking serverless from scratch, building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage f
3.
by sbenitez 1y ago
Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity At Formal [0], we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated executi
4.
by sbenitez 1y ago
Formal | Formal Verification Engineer | REMOTE | Full-Time | >= $150k - $200k + 0.5% equity We're building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We’re building low overhead
5.
by sbenitez 2y ago
If you haven't sent us an email already, please do!
6.
by sbenitez 2y ago
1. You can sign up via our website: https://formalstack.com/ . 2. Yes!
7.
by sbenitez 2y ago
Formal | Founding Software Engineer (Compilers, Verification) | REMOTE | Full-Time | >= $200k + 0.5% equity We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally availabl
8.
by sbenitez 2y ago
If you haven't already, please feel welcome to send us a message! Even if these specific opportunities might not make sense, if this is something you're potentially interested in working on, perhaps there are other opportunities t
9.
by sbenitez 2y ago
Thank you! I truly appreciate you saying that.
10.
by sbenitez 2y ago
Hi Geraldo! Thank you for the kind words, and for sending a message! The influx of responses has far exceeded any expectation I could have had, and I'm slowly but diligently responding as I go. Just wanted to let you know that I'v
11.
by sbenitez 2y ago
Formal | Founding Software Engineer (Compilers, Networking) | REMOTE | Full-Time | >= $200k + 2% equity We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available ex
12.
Rocket v0.5: Stable, Async(rocket.rs)
162 points by sbenitez 3y ago|56 comments
13.
Rocket v0.4: Typed URIs, Database Support, Revamped Queries(rocket.rs)
395 points by sbenitez 8y ago|83 comments
14.
by sbenitez 9y ago
This is actually possible with fairings! Because fairings can rewrite requests, it's possible to create a fairing that rewrites a request URI of `path/` to `path` or vice-versa as needed. Rocket will route the rewritten request no
15.
by sbenitez 9y ago
Database support will live outside of Rocket's core in Rocket's contrib [0] library. Everything in contrib is implemented independently of Rocket and is entirely optional to use. The implementation will be database agnostic and ex
16.
Rocket, Rust Web Framework, v0.3: Fairings, TLS, Private Cookies(rocket.rs)
165 points by sbenitez 9y ago|74 comments
17.
by sbenitez 10y ago
Thanks for trying out Rocket! There are a couple of examples in Rocket's repository that illustrate how to use Rocket with a database. The more complete of the two is the todo example [0]. This uses Diesel as its ORM alongside managed
18.
Rocket, Rust Web Framework, v0.2: Managed State and More(rocket.rs)
152 points by sbenitez 10y ago|60 comments
19.
by sbenitez 10y ago
Yes! Here's what happens when you don't do the right thing: error: 'id' is declared as an argument... --> src/main.rs:8:9 | 8 | #[get("/<id>")] | ^^^^ error: ...bu
20.
Show HN: Rocket – Web Framework for Rust(rocket.rs)
484 points by sbenitez 10y ago|114 comments