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 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.

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 arrays, vectors, matrices, tensors et.al

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

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 text on the screen together with the video. Hope you make it.

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 interface.

ClassifyBot https://github.com/allisterb/ClassifyBot

Designed to automate and make repeatable different stages in classification pipelines. Written in .NET but agnostic about language or framework. Embeds a Python interpreter and can interface with Java or R.

Disclaimer: I am a walrus

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 understanding of something. Good luck on the job search.

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 user base. Good luck!

also: http://www.ilgpu.net/

This is pretty interesting. How would this be different from traditional knowledge base programs? Is it that you are explicitly modelling beliefs and actions and things like that?

Yes you're right, Xamarin Forms seems to be targeted at Windows/iOS/Android portability with a common XAML codebase. For cross-platform desktop apps the best choice seems to be something like [Gtk#](http://www.mono-project.com/docs/gui/gtksharp/] But I think the same principles would apply: the UI projects would utilize the non-platform specific code in AlephNote.App and the plugin framework etc. It would probably be necessary to have a separate Mobile UI project anyway, but it still would reuse a lot of the existing C# code.

I'm totally a beginner with Xamarin and Gtk# but I'd be willing to give this a shot. I really like how multiple backends are supported via plugins in AlephNote.

I think you could add a UI project using Xamarin without much trouble and make the whole thing cross-platform with Linux, Mac and potentially Android/iOS support. From what I've seen the WPF-specific code is restricted to the AlephNote.App project in the WPF namespace. It should not be difficult to reuse the non-WPF code in a separate UI project.

I've been dying for an open-source replacement for Evernote and I've been looking for an opportunity to learn Xamarin so I'm willing to contribute this if you're interested.