Hacker Newsnew | past | comments | ask | show | jobs | submit | allisterb's commentslogin

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


This looks awesome. I’m an F# developer and I agree with your intro paragraph 100%:

“One of the ironies of today's computer programming landscape is that functional languages directly inspired by the declarative languages for expressing abstractions and equations of logic and mathematics, have been sidelined for mathematical and scientific computing in favor of imperative, dynamically-typed languages like Python and Julia.”

Sadly, I’ve found that every road leads back to Python when it comes to deep neural nets. I tried using TensorFlowSharp from F# but found it very frustrating. Only Python seems to have full bindings to the TF API. Would love to give your wrapper a try.


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.


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.


Thank you!

There are other apps for that, it doesn't meant to do that. Please read my comment: https://news.ycombinator.com/item?id=17627899


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.


I think "screwing up" has an incorrect connotation that she didn't commit fraud deliberately. People who have never been anywhere near a coal mine express anger at Don Blankenship for contributing to the deaths of dozens of people via deceiving inspectors. So it doesn't seem strange that people would continue to be angry at Holmes, when everybody depends on medical services such as blood tests that they can trust. Ordinary people almost always die in circumstances that only amount to statistics and not a newsworthy outrage, but surely it is an injustice if casualties are deemed irrelevant in a situation like this.


I thought they didn't release products?


They were making blood tests on some Walgreen stores. I'm not exactly sure if those were using their (flawed) process or faking it by using existing processes.

https://www.npr.org/sections/health-shots/2018/03/20/5952049...


There labs were in the market for years, using a "mix" of their own tests and also standard tests from other manufacturers. What they could not come out with was any FDA approved test of their own except for one (for herpes).

The basic issue is that drawing a pin prick of blood from the fingers results in a lot of "interstitial" fluid. The combination of a very small sample and poor quality made it hard to create reliable tests. In reality Theranos labs were mostly taking vials of blood from veins for standard tests, instead of the pin pricks they were touting. Once this became public the bottom fell out.

Edit: The worst part of what they did was that they would take smaller samples than normal and then run them diluted on standard machines . This is because the standard machines needed a larger volume. This gave patients less reliable results than they would have had a larger sample been taken in the first place. And i think this is really unforgivable, because it has real life consequences for people.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: