News for hackers. Stuff that matters.

A comment on SLAyer.

Re:SLAyer by daveguy on Wednesday May 04, 2016 @08:23AM (#11627789)
It is a tool for verifying memory safety from Microsoft under the MIT license.

1) From MS under the MIT license? What? Did MS abandon their proprietary open source licenses?

2) What is the significance of SLA? Service level agreement doesn't seem to fit. I thought it would be a tool for the facilitation of SLA (in terms of service duplication). I guess verifying program safety would improve uptime for each individual instance (but there's a whole lot more to it than that). Is that what this SLA refers to?

Edit: Thanks everyone for the clarifications! I knew SLA as service level agreement didn't fit. And @zamalek binging on open source hah! so punny.

[ Parent | on HN ]
Re:SLAyer by zamalek on Wednesday May 04, 2016 @08:33AM (#11627842)
> Did MS abandon their proprietary open source licenses?

This is not new, Microsoft has been binging on open source lately (much to my glee). Many things on their GH org[1] are permissively licensed, including CoreCLR (the .Net runtime).

[1]: https://github.com/Microsoft

[ Parent | on HN ]
Re:SLAyer by tyingq on Wednesday May 04, 2016 @08:34AM (#11627847)
> What is the significance of SLA?

Guessing "Separation Logic-based Analyses": http://research.microsoft.com/pubs/163161/2012%20CAV%20Diagn...

[ Parent | on HN ]
Re:SLAyer by saminishtiaq on Wednesday May 04, 2016 @12:19PM (#11629414)
1. MIT is the standard GitHub.com/Microsoft license. 2. SLAyer is an acronym of Separation Logic Analyzer. And also a reference to Josh's musical taste.
[ Parent | on HN ]
Re:SLAyer by Tomte on Wednesday May 04, 2016 @08:27AM (#11627811)
"Separation Logic", no idea about the "A".

Maybe "analysis"?

[ Parent | on HN ]
Re:SLAyer by moftz on Wednesday May 04, 2016 @11:51AM (#11629188)
Formal verification of service level agreements and other contracts would be a pretty cool machine learning project.
[ Parent | on HN ]