allisterb
Joined 9 years ago
Karma
11
Submissions
34
Member since
Jan 6
Recent submissions
Comment · 6 years ago
He was the first person I thought of when I saw this. He's been saying for weeks that the ventilator strategy was wrong and was harming patients.
Comment · 6 years ago
Also for F#: https://github.com/allisterb/Sylvester/tree/master/src/Math/...
Contains both rigorous definitions and theories for use by the Sylph prover.
Comment · 6 years ago
I've created a Jupyter notebook here: http://ec2-52-15-66-200.us-east-2.compute.amazonaws.com:6677...
that demos my ongoing progress with Sylvester and I'd love your feedback. It's also available on NuGet: https://www.nuget.org/packages/Sylvester.tf/0.2.3.4 with a native TF 2 package: https://www.nuget.org/packages/Sylvester.tf.Native.Win/.
It's still WIP but coming along pretty well.
Comment · 6 years ago
I'm also working on something like this with F# and TensorFlow:
https://devpost.com/software/sylvester-tf
using typed natural number dimensions for arrays, vectors, matrices, tensors et.al
Comment · 7 years ago
Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/htm...
Comment · 7 years ago
This is pretty awesome. The UI load time and responsiveness are vert impressive. I hate web dev with a passion and I've been looking for something like this.
Comment · 8 years ago
Love it, keep it up