473 karma · joined February 20, 2017
Get in touch at: tyler at vexlio dot com
Check out the app, no sign-in required: https://app.vexlio.com/
Do you know if the FPGA and/or hardware communities use any type of formalism for design or documentation of state machines? One example of what I mean is is Harel statecharts - essentially a formalized type of nested state diagram.
Re: desktop version. The short answer is yes, probably, but I don't have a concrete timeline. I made tech and architecture choices from the beginning to make sure a cross-platform desktop version always remains possible. Frankly, the biggest obstacle for desktop is not the app itself, but distribution and figuring out a pricing model. The current solution for enterprise, business, and other interested people, is to self-host Vexlio, with separate licensing.
From a dev perspective this area has a ton of super interesting algorithmic / math / data structure applications, and computational geometry has always been special to me. It's a lot of fun to work on.
If anyone here is interested in this as a user, I'd love for any feedback or comments, here or you can email me directly: tyler@vexlio.com.
Some pages the HN crowd might be interested in:
* https://vexlio.com/blog/making-diagrams-with-syntax-highligh... * https://vexlio.com/solutions/state-diagram-maker/ * https://vexlio.com/blog/speed-up-your-overleaf-workflow-fast...
One idle thought I had: when computer interfaces were still new, using physical analogies like file cabinets was good practice for teaching new users. Maybe GUIs are now commonplace enough that people are able to speak the different "languages" without as much trouble.
PS, the Demo link in your site's header doesn't seem to go anywhere (nor FAQ).
A business has continual costs, which at the minimum may just be the ability to support a single developer's adult life. This app is selling itself once per major version, which judging by some comments here is somewhat unappealing. Many people are justifiably sick of subscription payments. I am also assuming many people would not appreciate e.g. an ad-supported version of something like this app.
So, what does that leave in terms of realistic business options? Are there any examples out there of a software business that succeeds in supporting its own development while helping its customers feel like they are getting their money's worth?
> There is no way to provide both optimized assembly and equivalent C code and let the compiler use the former in the general case and the latter in special cases.
This is true, but can be seen as a failure of language and tooling. For example, Halide [1] pioneered (AFAIK) the concept of separating algorithm from implementation at the language level. This separation lets you express the algorithm once, and then "schedule" it by specifying parallelism, vectorization, etc. You can provide multiple schedules for one algorithm, which allows you to specialize / make different choices depending on varying factors.
It's a really interesting concept, though maybe limited in practice to DSLs. I'm not sure a general purpose language would be a good fit for this model, but then, for general purpose programs written in general purpose languages, perf optimization at the level TFA discusses is frequently limited to just specific hot sections. Those hot sections could be extracted out into specialized components written in such a DSL.
[1] - https://vexlio.com
[1] - e.g. https://en.wikipedia.org/wiki/B%C3%A9zier_curve#Rational_B%C...