Viewing profile — allisterb

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.

Also for F#: https://github.com/allisterb/Sylvester/tree/master/src/Math/... Contains both rigorous definitions and theories for use by the Sylph prover.

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…

I'm also working on something like this with F# and TensorFlow: https://youtu.be/GUMTpTqzsJA https://devpost.com/software/sylvester-tf using typed natural number dimensions for arr…

Also based on the idea of lightweight static checks and dependent types in existing ML languages: https://notebooks.azure.com/allisterb/projects/sylvester/htm...

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.

Love it, keep it up

This is a digital forensics project I've been working on called OLAF which is designed to provide forensic evidence in investigations of using library or other public-facing PCs to…

It's a pretty cool idea I think and is a great adjunct to traditional language learning. Maybe there could be an API so that open-source media players would be able to show the tex…

Awesome, great to see another cross-platform UI option for .NET Core. I love the idea of being able to write my core logic in .NET and using a GUI toolkit like Qml for the interfac…

ClassifyBot https://github.com/allisterb/ClassifyBot Designed to automate and make repeatable different stages in classification pipelines. Written in .NET but agnostic about langu…

Can't people stop beating this dead horse already. She screwed up, her company is dead, just let her be.

Awesome, love the UI. Writing software from scratch is such a rewarding experience in so many way and it shows recruiters you can code and are self-motivated and have a deep unders…

This is pretty awesome. Love the multi-pane interface. It's true there is a lot of data access tech for Excel data like OLE DB, but this works right inside Excel which has a huge u…