Viewing profile — sbenitez

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 e…

Formal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity We’re [0] rethinking serverless from scratch, building a new computing stack for instant, globally availab…

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,…

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, sou…

If you haven't sent us an email already, please do!

1. You can sign up via our website: https://formalstack.com/ . 2. Yes!

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 elasti…

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 w…

Thank you! I truly appreciate you saying that.

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 respon…

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, s…

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 …

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. T…

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 exam…

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("/ ")] | ^^^^ error: ...but isn't in the funct…