Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
p5.js
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —
It looks like you linked to the Python version. This is the Rust repo :)
You're welcome, frameworks like nannou are called **Creative coding frameworks**, processing I think is the most popular one out there, also P5js.
You're welcome, frameworks like nannou are called **Creative coding frameworks**, processing I think is the most popular one out there, also P5js.
I've exported individual frames using this mechanism, I've never tried gif encoding before but seems like there's support for it,
As I said, dependent types attempt to solve this problem. F* is a language where you can express complex logic as a type. The catch is, these types are checked by an SMT solver. If the solver can satisfy the type checking, then great, and you move on. If it can’t, you have no idea why, and either have to guess or manually write the proof anyway. Contrast this with Standard ML which has a proof of the soundness of its type system.