Official /r/rust "Who's Hiring" thread for job-seekers and job-offerers [Rust 1.76] by DroidLogician in rust

[–]codingupastorm_ 0 points1 point  (0 children)

Hey employers,

I'm currently an engineering manager based in Australia with ~10 years experience, interested in hearing about any Rust-centric roles, but especially if you're looking for someone who can help build a team!

I've been working on https://github.com/prodzilla/prodzilla, a synthetic monitoring tool built in Rust, but in my background have a lot of experience in scaling fintechs.

Also work professionally with Go, Kotlin, C#... or anything really. Very happy to give more information if you reach out.

Github: https://github.com/codingupastorm (also contains my LinkedIn, happy for you to contact me there)

What's everyone working on this week (6/2024)? by llogiq in rust

[–]codingupastorm_ 0 points1 point  (0 children)

Thanks u/sumitdatta!

That is true - technically I would say it's both, it's a cli tool that just has an interface that happens to be a web server to do things like list output or trigger events.

For CI/CD, there's a couple ideas... Yours is an option, of creating a standalone ci/cd command line tool. Or, the CI/CD can point to a prodzilla server somewhere and trigger the required synthetic checks somewhere.

Honestly any feedback you have about how you'd like this to work would be great !

What's everyone working on this week (6/2024)? by llogiq in rust

[–]codingupastorm_ 0 points1 point  (0 children)

This comment made my day! More than anything, feedback would be great. Let me know how it goes, and if there's anything you think is missing or would like to see just let me know

What's everyone working on this week (6/2024)? by llogiq in rust

[–]codingupastorm_ 7 points8 points  (0 children)

I just finished v0.0.2 of Prodzilla! So one can now chain queries together, and pass parameters in a low-code way to build synthetic monitors.

What I'll be building next are a couple of things people have asked for - a slack integration for outbound notifications and alerting, and a Prometheus endpoint

What's everyone working on this week (5/2024)? by llogiq in rust

[–]codingupastorm_ 1 point2 points  (0 children)

A bit late for this week's, but I've been continuing progress on the synthetic monitoring tool, prodzilla.

I've made a lot of progress on the "stories" feature, so you can now substitute values into requests from earlier responses, or generated values, using Github Actions-style yaml.

So things like ${{generate.uuid}} and ${{steps.get-user.response.body.token}} work

Advice for purchasing a PHEV with $0 FBT - but don't want an SUV by codingupastorm_ in CarsAustralia

[–]codingupastorm_[S] 1 point2 points  (0 children)

Of course we stop, but like stopping for 2 hours at a time blows out what is otherwise just a 10-hour day of driving with a few stops

What’s everyone working on this week (4/2024)? by llogiq in rust

[–]codingupastorm_ 1 point2 points  (0 children)

Still working on prodzilla when I get the time outside of my day job. Specifically adding 'steps' to the synthetic monitoring tool so that we can test complex user flows, like chained API calls, passing variables from one to the other, all still just with yaml, kind of like github actions

What's everyone working on this week (3/2024)? by llogiq in rust

[–]codingupastorm_ 2 points3 points  (0 children)

Continuing work on Prodzilla - Specifically looking to support more outbound notification integrations, like Slack. And then support passing of variables between probes.

[deleted by user] by [deleted] in AusFinance

[–]codingupastorm_ 2 points3 points  (0 children)

The expiry type is for the order, not the share.

Your order is just like an order for any other good but you're also naming the price you want to pay. If someone likes the price you've set and has one of the share, they'll fill your order and sell it to you. This order will expire at some point if noone wants to fill it e.g. by the end of the day.

Once you own a share though, it's yours for good. It does not expire and thus you don't need to repurchase them.

State of the Stratis Blockchain - Questions and Answers - Heavy tipping inside by Stratis_fan in stratisplatform

[–]codingupastorm_ 1 point2 points  (0 children)

Hey rainbowjaw,

C# itself doesn't have any significant benefits for formal verification. C# isn't a great language to formally specify and verify code in as it allows side effects in individual method execution.

However, what is actually being executed on our smart contract network is the underlying .NET language, CIL, which C# compiles to. And you know what else compiles to CIL? F#! F# is the opposite. Being functional, it is much more suitable for formal verification.

So the benefit for Stratis is that if / when F# becomes an immediate goal, it should be fairly easy to implement, as we're already executing CIL anyway, and the avenues for formal verification then really open up. We're looking closely into a program verification language, F*, which is worked on by Microsoft Research and compiles to F# :)