Readit News_cairn commented on CUDA on Windows Subsystem for Linux 2 devblogs.nvidia.com/annou... · Posted by u/T-A
_cairn commented on MTV VHS Recordings 1981 to 1989 [video] archive.org/details/mtv-8... · Posted by u/shervinafshar
Getting:
This video file cannot be played. (Error Code: 224003)
On all the videos, tried Safari and Chrome.
I guess a "riot" is defined as "young students milling around recording with their cellphones."
Yes, but clickbait.
I had my Vitamin D levels tested last year, was enlightening. For those interested it's a pretty painless (small blood sample) and inexpensive test.
_cairn commented on DOJ plans to strike against encryption while the Techlash iron is hot cyberlaw.stanford.edu/blo... · Posted by u/erwan
I'm guessing this is cryptographically impossible but are there any schemes that allow 2 different keys to decrypt to two different messages for deniability? Perhaps a key containing a seed number to adjust the algorithm?
This is a neat idea but I also have no idea if theoretically feasible or not.
So many comments in the vein of "who has time to waste on candidates we aren't going to make an offer to?" - You are damaging your companies brand thinking this way. You want people who you reject to say to themselves "I can't wait to study up and interview here again, they said no, but I still want to work here!"
_cairn commented on How Amazon Web Services Uses Formal Methods (2015) [pdf] cslab.pepperdine.edu/warf... · Posted by u/mindcrime
Check out Marianne Bellotti's work. She recently gave a talk at Strange Loop on writing specifications of existing systems: https://www.youtube.com/watch?v=oMSmkRGzQ64
Thank you! I will check this out.
_cairn commented on How Amazon Web Services Uses Formal Methods (2015) [pdf] cslab.pepperdine.edu/warf... · Posted by u/mindcrime
Does anyone have resources that talk about writing a TLA+ model for an existing software system as opposed to designing a new system using TLA+ as the design reference?
I think the crux of the question raised here is: "Is there anything wrong, ethically or legally, with a social media site accepting payments in exchange for algorithmically amplifying the amount of people that see the paid-for content? Does the answer to this question depend on the veracity of the information presented in the content? If so, does Facebook have some sort of obligation to ensure that paid-for content is substantiated by facts and evidence?"
Agree wholeheartedly with how you posed the question, I would like to expand:
Should Adult (xxx) sites be held accountable for ads for male enlargement pills/snake oils? I personally don't think so. Is the answer to this problem to teach our population that blindly accepting what you read is safe (you can trust information posted on social media/public internet sites as fact) OR do we instead teach our citizens to filter information analytically and do research the way you are taught to in university for example?
Personally I think the former option is an intractable problem. Why try to make it safe for your population NOT to have to think instead of just teaching them how to think critically?
There is zero benefit to me in loading 20mb of garbage just so I can read 10kb of text.